mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
53821a6285
Give chroot and report_rom 2M instead of 1M to satisfy Sel4 on x86 64-bit. Issue #2781 |
||
---|---|---|
.. | ||
content.mk | ||
depot_download.config | ||
hash |