search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

Test x86 with x2apic #96

Open Indanz opened 1 year ago

Indanz commented 1 year ago

Run sel4test on at least one configuration with KernelLAPICMode=X2APIC, either on real hardware or in qemu.

See also this seL4 pull request.