Resource Management - Operating Systems Group
Resource Management - Operating Systems Group
Resource Management - Operating Systems Group
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
TU Dresden MOS: <strong>Resource</strong> <strong>Management</strong><br />
L4RE<br />
L4Re — the L4 Runtime Environment<br />
set of libraries and system services on<br />
top of the Fiasco.OC microkernel<br />
33