L4 Environment, DICE IDL compiler and L4/Fiasco microkernel
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
L4 Environment, DICE IDL compiler and L4/Fiasco microkernel. License: GPLv2.