genode/tool/run/boot_dir
2017-11-30 11:23:09 +01:00
..
fiasco tool: use grub2 instead of grub1 for iso boot 2017-11-30 11:23:01 +01:00
foc tool: use grub2 instead of grub1 for iso boot 2017-11-30 11:23:01 +01:00
hw hw: add mbi2 framebuffer support 2017-11-30 11:23:09 +01:00
linux run: use absolute path for symlinks in linux run dir 2017-08-18 10:24:48 +02:00
nova tool: use grub2 instead of grub1 for iso boot 2017-11-30 11:23:01 +01:00
okl4 tool: use grub2 instead of grub1 for iso boot 2017-11-30 11:23:01 +01:00
pistachio tool: use grub2 instead of grub1 for iso boot 2017-11-30 11:23:01 +01:00
sel4 sel4: add mbi2 framebuffer support 2017-11-30 11:23:09 +01:00