Giters
L4Ka development repositories (l4ka)

L4Ka development repositories

l4ka

Geek Repo

Home Page:http://l4ka.org

Github PK Tool:Github PK Tool

L4Ka development repositories's repositories

pistachio

L4Ka::Pistachio micro-kernel

Language:C++Stargazers:273Issues:46Issues:14

hazelnut

L4Ka::Hazelnut micro-kernel

Language:AssemblyStargazers:32Issues:9Issues:1

idl4

L4Ka::IDL4 Compiler

Language:C++License:GPL-2.0Stargazers:18Issues:7Issues:3

afterburner

L4Ka::Afterburner virtualization project

Language:CStargazers:16Issues:8Issues:0