Closed mwookawa closed 7 years ago
boot a kernel with no servers or clients
find the smallest modules to boot barrelfish and trace all the code that run
boot a kernel with no servers or clients