manu88
Kernel/OS enthusiast; my next objective is also to become a Guitar hero
NOKIA Bell LabsParis/Le Mans
Pinned Repositories
Broadway
CVCaptureProxy
Proxy classes to stream opencv images to client code over TCP/DomainSocket/Shared Memory
GX
Graphic compositor
libACPI
C Library for parsing ACPI tables and AML byte code
Monu100
RenderKit
HTML/CSS layout engine
SeL4_101
How to create a Hello World seL4 project from scratch
SeL4_CPIO
Create a simple SeL4 Project with a CPIO archive
Sofa
Operating System built on top of the seL4 microkernel.
VisualKit