genode/tool/run/boot_dir
Adrian-Ken Rueegsegger 8eec092851 Add support for ipxe load (nova, foc, fiasco)
This makes use of the iPXE sanboot command [1] which downloads and
boots an ISO image directly via HTTP. Therefore, your RUN_OPT needs
both

  --include image/iso   and
  --include load/ipxe

NOTE: The webserver serving the ISO image must support ranged requests,
      see [2].

[1] - http://ipxe.org/cmd/sanboot
[2] - http://forum.ipxe.org/showthread.php?tid=7295&pid=10482#pid10482
2015-09-30 12:20:40 +02:00
..
fiasco Add support for ipxe load (nova, foc, fiasco) 2015-09-30 12:20:40 +02:00
foc Add support for ipxe load (nova, foc, fiasco) 2015-09-30 12:20:40 +02:00
hw hw_x86_64: use 'muen' SPEC to implement aspect 2015-08-31 09:09:22 +02:00
linux run: modularize run tool 2015-01-26 12:28:40 +01:00
nova Add support for ipxe load (nova, foc, fiasco) 2015-09-30 12:20:40 +02:00
okl4 run: capture kernel msg to detect boot errors 2015-02-16 14:01:45 +01:00
pistachio run: capture kernel msg to detect boot errors 2015-02-16 14:01:45 +01:00
sel4 sel4: move core to a libaray, add boot_modules.s 2015-05-26 09:39:59 +02:00