Skip to content
View manu88's full-sized avatar
  • Paris/Le Mans

Block or report manu88

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. SeL4_CPIO SeL4_CPIO Public

    Create a simple SeL4 Project with a CPIO archive

    C 1

  2. SeL4_101 SeL4_101 Public

    How to create a Hello World seL4 project from scratch

    CMake 3 3

  3. VisualKit VisualKit Public

    C++ 3

  4. GX GX Public

    Graphic compositor

    C 2

  5. Sofa Sofa Public

    Operating System built on top of the seL4 microkernel.

    C 8 1

  6. libACPI libACPI Public

    C Library for parsing ACPI tables and AML byte code

    C++ 6 2