ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
c22b60f0c4
genode/tool/run/boot_dir
History
Alexander Boettcher 92db5d2c4e sel4: limit max relocation memory to 256M 
relocation is required, to avoid overlapping phdr in the elf binaries, but
sel4 will fail to boot if bender relocates the images at the end of physical
memory. Limit the physical relocation address to a fixed 256M value, so that
sel4 will work.

Issue #2451
2017-08-17 11:04:19 +02:00
..
fiasco run: link all files in [run_dir]/genode to core 2017-05-31 13:15:56 +02:00
foc foc: do not accidentally delete boot directory 2017-06-19 12:35:56 +02:00
hw riscv: ISA-1.9.1 and GCC-6.3.0 adaptions 2017-05-31 13:16:24 +02:00
linux run: link all files in [run_dir]/genode to core 2017-05-31 13:15:56 +02:00
nova nova: avoid copying core.o to image file 2017-06-29 11:59:56 +02:00
okl4 run: link all files in [run_dir]/genode to core 2017-05-31 13:15:56 +02:00
pistachio run: link all files in [run_dir]/genode to core 2017-05-31 13:15:56 +02:00
sel4 sel4: limit max relocation memory to 256M 2017-08-17 11:04:19 +02:00