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

..

dev_mem_4k.patch

sel4: disable large mappings for device memory

2016-08-10 11:07:54 +02:00

dev_mem.patch

sel4: update to 3.2.0

2016-08-10 11:07:56 +02:00

ioapic.patch

sel4: update to 3.2.0

2016-08-10 11:07:56 +02:00

noise.patch

sel4: avoid corruption during ipc marshalling

2016-08-10 11:07:55 +02:00

root_cnode.patch

sel4: update to 3.2.0

2016-08-10 11:07:56 +02:00

syscall.patch

sel4: update to 3.1.0

2016-08-10 11:07:50 +02:00