Christian Helmuth 958bf4d903 run: successful-boot detection string for sel4

2016-03-07 12:34:43 +01: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_muen: Include static ACPI report ROM

2016-02-26 11:36:53 +01:00

linux

run: modularize run tool

2015-01-26 12:28:40 +01:00

nova

nova: don't unzip images with grub

2015-10-09 16:38:47 +02:00

okl4

okl4: increase available physical memory

2015-10-28 15:06:23 +01:00

pistachio

run: capture kernel msg to detect boot errors

2015-02-16 14:01:45 +01:00

sel4

run: successful-boot detection string for sel4

2016-03-07 12:34:43 +01:00