mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
2b8c1af9e0
Conveying the ROM filename as the final label element simplifies routing policy and session construction. Annotations by nfeske: This commit also changes the ROM session to use base/log.h instead of base/printf.h, which produced build error of VirtualBox because the vbox headers have a '#define Log', which collides with the content of base/log.h. Hence, this commit has to take precautions to resolve this conflict. The commit alse refines the previous session-label change by adding a new 'Session_label::prefix' method and removing the use of 'char const *' from this part of the API. Fixes #1787 |
||
|---|---|---|
| .. | ||
| spec | ||
| gdbserver_libc_support.mk | ||
| gdbserver_platform.inc | ||
| libc_noux.mk | ||
| seoul_libc_support.mk | ||
| virtualbox-bios.mk | ||
| virtualbox-common.inc | ||
| virtualbox-devices.mk | ||
| virtualbox-dis.mk | ||
| virtualbox-drivers.mk | ||
| virtualbox-hwaccl-off.inc | ||
| virtualbox-liblzf.mk | ||
| virtualbox-main.mk | ||
| virtualbox-recompiler.mk | ||
| virtualbox-runtime.mk | ||
| virtualbox-storage.mk | ||
| virtualbox-vmm.mk | ||
| virtualbox-xml.mk | ||
| virtualbox-zlib.mk | ||