seL4/include/arch
Adrian Danis f8e6b4d9d6 x64: Guard vt-x that is not yet implemented
These guards are needed because vt-x is not yet properly supported
in x86-64 builds. Once it is these guards can be removed again
2016-10-28 12:12:46 +11:00
..
arm SELFOUR-287: 32-bit vt-x implementation 2016-10-27 16:20:30 +11:00
x86/arch x64: Guard vt-x that is not yet implemented 2016-10-28 12:12:46 +11:00