Hello friends, Here is a place for public projects of not existing anymore ksys labs
We're hosting our Open Source projects at GitHub
Update 2022: Open for business
L4Re (Addition) aPplications
OMAP3 support for L4Linux
Genode Framework Fork
Hardenning
Secure Mobile device project
Tutorials
Use cases
How-to