mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Our static okl4 system-integration configuration specifies a fixed RAM range from 32 to 800 MiB, which must be satisfied by Qemu or strange errors happen due to accesses beyond RAM. (Fixes current issues with nic_router.run.)