- multiboot-compliant boot-loader: boot tasks should be loaded as
  multiboot modules so that we can find them, and should be
  multiboot-compliant themselves so that we can place them and start
  them

- the first module should be the L4 microkernel itself

- real memory manager for loaded tasks

---

- XXX: the sigma0 protocol should be extended with a request for
  requesting the ID of the supervisor.