Giters

johannes87 / sdi-ss12

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sdi-ss12

Source code for summer semester 2012 course "System Design and Implementation". See here: https://os.itec.kit.edu/2388_2395.php

Programming with the L4Ka::Pistachio microkernel

About

Languages

Language:C++ 61.6%Language:Makefile 13.8%Language:C 11.3%Language:Shell 5.0%Language:Assembly 4.2%Language:M4 3.8%Language:Perl 0.2%