Mathieu Mirmont
Results
2
issues of
Mathieu Mirmont
This PR adds support for x86_64 hardware, with a QEMU emulated machine and an Odroid H2+ board as reference targets. X86 is quite a different beast compared to ARM and...
This PR adds support for booting x86 Microkit images. Please see https://github.com/seL4/microkit/pull/244 for details.