Hello

Hello friends, Here is a place for public projects of ksys labs

We're hosting our Open Source projects at GitHub

Open Source Contribution:

Microkernel based projects:

L4Re (Addition) aPplications

OMAP3 support for L4Linux

Genode Framework Fork

Hardenning

Other:

Public projects:

Secure Mobile device project

Book of knowledge:

Tutorials

Use cases

How-to