Skip to content
@l4ka

L4Ka development repositories

Popular repositories Loading

  1. pistachio pistachio Public

    L4Ka::Pistachio micro-kernel

    C++ 274 54

  2. hazelnut hazelnut Public

    L4Ka::Hazelnut micro-kernel

    Assembly 33 8

  3. idl4 idl4 Public

    L4Ka::IDL4 Compiler

    C++ 18 5

  4. afterburner afterburner Public

    L4Ka::Afterburner virtualization project

    C 16 5

Repositories

Showing 4 of 4 repositories
  • pistachio Public

    L4Ka::Pistachio micro-kernel

    l4ka/pistachio’s past year of commit activity
    C++ 274 54 8 1 Updated Oct 14, 2019
  • idl4 Public

    L4Ka::IDL4 Compiler

    l4ka/idl4’s past year of commit activity
    C++ 18 GPL-2.0 5 2 0 Updated Sep 1, 2015
  • hazelnut Public

    L4Ka::Hazelnut micro-kernel

    l4ka/hazelnut’s past year of commit activity
    Assembly 33 8 1 0 Updated Sep 1, 2015
  • afterburner Public

    L4Ka::Afterburner virtualization project

    l4ka/afterburner’s past year of commit activity
    C 16 5 0 0 Updated Oct 13, 2011

Top languages

Loading…

Most used topics

Loading…