Alexander Boettcher 356e6498b6 sel4: update to 3.2.0 ... - disable iommu - increase root_cnode further for native boot - support vesa driver on native hardware - don't mask edge triggered ioapic irqs - increase various allocators to get noux_tool_chain_* booting natively Issue #2044		2016-08-10 11:07:56 +02:00
..
fiasco	run: look for platform boot string at beginning of line	2016-08-10 11:07:48 +02:00
foc	run: look for platform boot string at beginning of line	2016-08-10 11:07:48 +02:00
hw	run: look for platform boot string at beginning of line	2016-08-10 11:07:48 +02:00
linux	run: modularize run tool	2015-01-26 12:28:40 +01:00
nova	run: look for platform boot string at beginning of line	2016-08-10 11:07:48 +02:00
okl4	run: look for platform boot string at beginning of line	2016-08-10 11:07:48 +02:00
pistachio	run: look for platform boot string at beginning of line	2016-08-10 11:07:48 +02:00
sel4	sel4: update to 3.2.0	2016-08-10 11:07:56 +02:00