l4ka.org

     
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 helps manage growing complexity, minimize legacy dependence.
Alexa traffic report for L4KA.ORG

URLs from l4ka.org: