Skip to content

@l4ka L4Ka development repositories

Change the repository type filter

All

    Repositories list

    4 repositories

    • pistachio

      Public
      L4Ka::Pistachio micro-kernel
      C++
      •54•274•8•1•Updated Oct 14, 2019Oct 14, 2019

    • idl4

      Public
      L4Ka::IDL4 Compiler
      C++
      •
      GNU General Public License v2.0
      •5•18•2•0•Updated Sep 1, 2015Sep 1, 2015

    • hazelnut

      Public
      L4Ka::Hazelnut micro-kernel
      Assembly
      •8•33•1•0•Updated Sep 1, 2015Sep 1, 2015

    • afterburner

      Public
      L4Ka::Afterburner virtualization project
      C
      •5•16•0•0•Updated Oct 13, 2011Oct 13, 2011