mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
It's sufficient to access the boot info only on kernel initialization time. Therfore, it can remain completely hidden to the rest of the kernel inside kernel/main.cc in the initialization function. Ref #4217