genode/repos/base-sel4/patches
2019-05-27 14:46:53 +02:00
..
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