seL4/libsel4/arch_include
Chris Guikema 2dbd1b818a 64-bit-vms: Add kernel support for 64-bit VMs
This commit combines a number of smaller commits which do the following:

    * Enter IA-32e mode when running a 64-bit host
    * Handle additional general purpose registers in 64-bit mode
    * Handle 64-bit specific MSR events
    * Properly save and restore FS, GS, and Shadow GS registers

CCDC-GVSC DISTRIBUTION A.  Approved for public release; distribution
unlimited. OPSEC#4481.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2023-06-06 13:29:34 +10:00
..
arm libsel4: use sel4/config.h instead of autoconf.h 2023-04-24 23:02:12 +10:00
riscv libsel4: use sel4/config.h instead of autoconf.h 2023-04-24 23:02:12 +10:00
x86 64-bit-vms: Add kernel support for 64-bit VMs 2023-06-06 13:29:34 +10:00