Alexander Boettcher
d43a5a6ef1
sel4: adjust root cnode size for wand_quad board
...
and cleanup for x86 32/64 the autoconf.h patches
Fixes #2514
2017-10-05 17:39:55 +02:00
Alexander Boettcher
4ac0bd514f
sel4: add uefi boot support via mbi2
...
Multiboot2 provides the ACPI RSDP pointer from the GRUB2 bootloader.
Issue #2242
2017-08-28 16:49:47 +02:00
Alexander Boettcher
a8227e80af
sel4: kernel patch to get ACPI information
...
Issue #2242
2017-08-28 16:49:47 +02:00
Alexander Boettcher
fd0b256f7c
sel4: support cpu utilization via TRACE service
...
using benchmark infrastructure of the seL4 kernel
Issue #2451
2017-08-18 10:24:47 +02:00
Alexander Boettcher
f825775e40
sel4: update to kernel 6.0
...
Issue #2451
2017-08-18 10:24:45 +02:00
Alexander Boettcher
7a8e0e59af
sel4: enable smp for x86
...
Issue #2451
2017-08-17 11:04:24 +02:00
Alexander Boettcher
da5441292a
sel4: add Wandboard Quad (iMX6) support
...
Issue #2451
2017-08-17 11:04:21 +02:00
Alexander Boettcher
66c0c7b6f1
sel4: add x86_64 support
...
Issue #2451
2017-08-17 11:04:20 +02:00
Alexander Boettcher
95329c82e2
sel4: update to 5.2.0
...
Issue #2451
2017-08-17 11:04:19 +02:00
Christian Helmuth
d3fcb38545
sel4: fix UART access (patch)
...
See https://github.com/seL4/seL4/issues/36 .
2016-09-14 11:53:04 +02:00
Alexander Boettcher
d511b09aef
sel4: adjust syscall patch to fPIC define
...
Use same patch as the one going upstream on seL4 soon.
2016-08-30 17:17:19 +02:00
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
Alexander Boettcher
b2a8cfde85
sel4: avoid corruption during ipc marshalling
...
Issue #2044
2016-08-10 11:07:55 +02:00
Alexander Boettcher
4d10a28411
sel4: disable large mappings for device memory
...
Issue #2044
2016-08-10 11:07:54 +02:00
Alexander Boettcher
90390fe053
sel4: increase root cnode size in kernel
...
required to boot setups like noux*
Issue #2044
2016-08-10 11:07:53 +02:00
Alexander Boettcher
99b8fc4408
sel4: enable vesa driver
...
kernel : add required and reserved boot regions to device memory
Issue #2044
2016-08-10 11:07:52 +02:00
Alexander Boettcher
af93f8d01b
sel4: update to 3.1.0
...
- adjust syscall bindings to support -fPIC
- read serial i/o ports from BIOS data area
- use autoconf.h provided by sel4
-- to avoid ambiguity between sel4 kernel and user libraries
-- remove manual set defines
- remove debug messages
- increase user virtual area to 3GB
Issue #1720
Issue #2044
2016-08-10 11:07:50 +02:00