sel4test icon indicating copy to clipboard operation
sel4test copied to clipboard
verified publisher icon seL4

Test x86 with x2apic

Open Indanz opened this issue 2 years ago • 0 comments

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

See also this seL4 pull request.

Indanz avatar Jun 20 '23 09:06 Indanz