f8be04bc70
This enables us to map the binaries of the boot modules on demand at least in base-hw. ref #1139 |
||
---|---|---|
.. | ||
arm | ||
x86_32 | ||
x86_64 | ||
_main.cc | ||
_main_parent_cap.h | ||
cap_copy.cc | ||
genode.ld | ||
init_main_thread.cc |