next up previous contents
Next: MARTE Up: Realzeit-Betriebssysteme Previous: Linux nach 2.6.18   Contents

Linux/RK

Linux/RK := Linux/Resource Kernel: http://www.cs.cmu.edu/~rtmach/
Gerd Doeben-Henisch 2013-01-16