Alexander Boettcher 530ec3115f sel4/x86: remove Nehalem kernel config adjustment ...

since the used Genode Qemu model now supports it.

2023-06-16 11:24:26 +02:00

..

core-sel4.mk

vm_session: track dataspaces used by attach

2019-05-06 16:15:25 +02:00

kernel-sel4-pc.mk

sel4/x86: remove Nehalem kernel config adjustment

2023-06-16 11:24:26 +02:00

ld-sel4.mk

sel4: add x86_64 support

2017-08-17 11:04:20 +02:00

startup-sel4.mk

sel4: add x86_64 support

2017-08-17 11:04:20 +02:00

syscall-sel4-pc.mk

sel4: update to 12.1.0 release

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