| .. |
|
arm_cache.patch
|
sel4: enable nx bit handling for ARM
|
2017-11-01 08:39:49 +01:00 |
|
autoconf_32.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
|
autoconf_64.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
|
config.patch
|
sel4: update to version 9.0.0
|
2018-05-03 15:31:21 +02:00 |
|
imx6q_sabrelite.config
|
replace Wandboard by i.MX6 reference board
|
2019-01-30 13:35:28 +01:00 |
|
imx7d_sabre.config
|
sel4: fix configuration for imx7d sabre
|
2019-05-06 16:15:26 +02:00 |
|
intel_efer.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
|
intel_ug.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
|
intel_vmcs.patch
|
vm_session: adjustments to work with seoul vmm
|
2019-05-06 16:15:26 +02:00 |
|
intel_vmx_disable_vpid.patch
|
sel4: let seoul-kernelbuild.run succeed
|
2019-05-27 14:46:53 +02:00 |
|
intel_vmx_full_state.patch
|
sel4: let seoul-kernelbuild.run succeed
|
2019-05-27 14:46:53 +02:00 |
|
intel_vtx_check.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
|
ioapic.patch
|
sel4: update to 3.2.0
|
2016-08-10 11:07:56 +02:00 |
|
noise.patch
|
sel4: add Wandboard Quad (iMX6) support
|
2017-08-17 11:04:21 +02:00 |
|
sched_bug_x86.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
|
sel4_tlb_x86_bug.patch
|
sel4: flush tlb on x86
|
2019-01-07 12:25:43 +01:00 |
|
vcpu_nullptr_bug.patch
|
sel4/x86: implement vm_session interface
|
2019-04-01 19:33:52 +02:00 |
faee97dd1e