seL4/include/arch
Adrian Danis 914741ea33 x86: Make x86 the name of the architecture instead of IA32
IA32 is 32bit version of the x86 architecture. Whilst only IA32
is supported, much of the code is generic x86. Using a generic
x86 architecture will aid in future 64bit support
2015-05-28 15:15:23 +10:00
..
arm arm: Rearrange context switching code to make fastpath and regular code not duplicate functionality 2015-05-27 13:05:27 +10:00
x86/arch x86: Make x86 the name of the architecture instead of IA32 2015-05-28 15:15:23 +10:00