genode/repos/base-sel4/lib/mk
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
..
spec/x86_32 sel4: update to 3.2.0 2016-08-10 11:07:56 +02:00
base-common.inc Unification of native_capability.h 2016-07-11 13:07:37 +02:00
base.mk Clean up base-library structure 2016-05-09 13:24:11 +02:00
core_printf.mk base: new interface for textual output 2016-05-09 13:25:01 +02:00
core.mk sel4: support region fault manager outside core 2016-08-10 11:07:53 +02:00
syscall.mk sel4: first syscall invokation 2015-05-26 09:39:54 +02:00