Alexander Boettcher d92bd3afee sel4: update to 12.1.0 release ...

Fixes #4910

2023-05-30 12:13:33 +02:00

..

arm_cache.patch

sel4: enable nx bit handling for ARM

2017-11-01 08:39:49 +01:00

arm_no_dtb.patch

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +02:00

config.patch

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +02:00

gcc12.patch

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +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

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +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: update to 12.1.0 release

2023-05-30 12:13:33 +02:00

intel_vtx_check.patch

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +02:00

ioapic.patch

sel4: update to 3.2.0

2016-08-10 11:07:56 +02:00

noise.patch

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +02:00