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
manu88's Repositories
manu88/libACPI
C Library for parsing ACPI tables and AML byte code
manu88/Sofa
Operating System built on top of the seL4 microkernel.
manu88/CVCaptureProxy
Proxy classes to stream opencv images to client code over TCP/DomainSocket/Shared Memory
manu88/RenderKit
HTML/CSS layout engine
manu88/SeL4_101
How to create a Hello World seL4 project from scratch
manu88/VisualKit
manu88/GX
Graphic compositor
manu88/Monu100
manu88/SeL4_CPIO
Create a simple SeL4 Project with a CPIO archive
manu88/Broadway_Core
manu88/CAmkES_101
manu88/camunda-client-go
Camunda REST API client for golang
manu88/Celesta
manu88/Celesta2
manu88/ChameleonDress
manu88/FlyDaemon
manu88/GroundBase
manu88/helenos
A portable microkernel-based multiserver operating system written from scratch. This is the HelenOS mainline repository.
manu88/JSBase
manu88/manu88.github.io
manu88/NUXKit
Open source port of UIKit(UXKit?)
manu88/Sel4_EGA
how to use EGA display with Sel4
manu88/SeL4_Thread
manu88/SeL4_Timers
manu88/SeL4_UserLandLib
How to Create a library and link an application against it
manu88/SofaKernel_task
manu88/solo5
A sandboxed execution environment for unikernels
manu88/standalonesel4
Yet another seL4 experiment
manu88/TurtleBotController
TurtleBot control without ros !
manu88/TurtleBotLidar
TurtleBot Lidar driver without ros !