faee97dd1e
sel4: let seoul-kernelbuild.run succeed
...
Issue #3111
2019-05-27 14:46:53 +02:00
95b9e0a0e2
sel4: fix configuration for imx7d sabre
...
Ref #3292
2019-05-06 16:15:26 +02:00
cc64c43758
vm_session: adjustments to work with seoul vmm
...
for foc, nova, sel4
Issue #3111
2019-05-06 16:15:26 +02:00
ef130a3bf9
sel4/x86: implement vm_session interface
...
Issue #3111
- enable vt-x in kernel configuration
Kernel patches:
- add unrestricted guest support
- avoid kernel boot failure when vt-x is not available
- avoid nullpointer in kernel when vcpu is not fully setup
- avoid vcpu scheduling bug which causes starvation on same/below prio level
- save efer register correctly from guest
2019-04-01 19:33:52 +02:00
4c492a3be7
imx7d_sabre: add board for sel4 and foc
...
Ref #3251
2019-04-01 19:33:49 +02:00
b765cef359
replace Wandboard by i.MX6 reference board
...
Instead of using the Wandboard Quad, the reference hardware from NXP
i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default.
2019-01-30 13:35:28 +01:00
035439c710
sel4: enable fpu for wand_quad
2019-01-07 12:33:55 +01:00
eead1af140
sel4: flush tlb on x86
...
Issue #3041
2019-01-07 12:25:43 +01:00
2278104a8d
sel4: update to version 9.0.0
2018-05-03 15:31:21 +02:00
16b395dce3
sel4: use kernel branch 7.0 + our mastered commits
...
Fixes #2562
2017-12-21 15:01:45 +01:00
2b6ae514b5
sel4: add mbi2 framebuffer support
...
Issue #2555
2017-11-30 11:23:09 +01:00
990b7945a7
sel4: use kernel branch 7.0 + our mastered commits
...
for uefi, multiboot2, benchmark interface adaptations and ARM define build
fixes.
Issue #2562
2017-11-30 11:23:05 +01:00
9655ebbefe
sel4: enable nx bit handling for ARM
...
Issue #1723
2017-11-01 08:39:49 +01:00
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
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
a8227e80af
sel4: kernel patch to get ACPI information
...
Issue #2242
2017-08-28 16:49:47 +02:00
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
f825775e40
sel4: update to kernel 6.0
...
Issue #2451
2017-08-18 10:24:45 +02:00
7a8e0e59af
sel4: enable smp for x86
...
Issue #2451
2017-08-17 11:04:24 +02:00
da5441292a
sel4: add Wandboard Quad (iMX6) support
...
Issue #2451
2017-08-17 11:04:21 +02:00
66c0c7b6f1
sel4: add x86_64 support
...
Issue #2451
2017-08-17 11:04:20 +02:00
95329c82e2
sel4: update to 5.2.0
...
Issue #2451
2017-08-17 11:04:19 +02:00
d3fcb38545
sel4: fix UART access (patch)
...
See https://github.com/seL4/seL4/issues/36 .
2016-09-14 11:53:04 +02:00
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
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
b2a8cfde85
sel4: avoid corruption during ipc marshalling
...
Issue #2044
2016-08-10 11:07:55 +02:00
4d10a28411
sel4: disable large mappings for device memory
...
Issue #2044
2016-08-10 11:07:54 +02:00
90390fe053
sel4: increase root cnode size in kernel
...
required to boot setups like noux*
Issue #2044
2016-08-10 11:07:53 +02:00
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
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
Alexander Boettcher
Stefan Kalkowski
Hinnerk van Bruinehsen
Christian Helmuth