Skip to content
Change the repository type filter

All

    Repositories list

    • pistachio

      Public
      L4Ka::Pistachio micro-kernel
      C++
      5427581Updated Oct 14, 2019Oct 14, 2019
    • idl4

      Public
      L4Ka::IDL4 Compiler
      C++
      GNU General Public License v2.0
      51820Updated Sep 1, 2015Sep 1, 2015
    • hazelnut

      Public
      L4Ka::Hazelnut micro-kernel
      Assembly
      83310Updated Sep 1, 2015Sep 1, 2015
    • L4Ka::Afterburner virtualization project
      C
      51600Updated Oct 13, 2011Oct 13, 2011