mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
We don't can use map_local_one_to_one for boot modules because it happens that boot modules can be at addresses above physical 3G boundary for x86_32. Defer the mapping of modules until the point where the core allocators are set up properly and then remap the physical pages to virtual addresses below 3G.