Web Directory
 

L4Ka Project

  Link Details for: L4Ka Project
Link Title: L4Ka Project Open in a new window
Link URL: http://l4ka.org/
Link Details: L4-based microkernel systems, for embedded systems to huge servers; Pistachio kernel. L4: tiny, fast, 2nd generation microkernel using hierarchical external pagers and guarded page tables. Goals: create, prove, establish new methodology for systems that h
Category: Top : Computers : Software : Operating_Systems : Realtime : L4
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
L4Ka Project