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
..
arch_include	x86: Make x86 the name of the architecture instead of IA32	2015-05-28 15:15:23 +10:00
include	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
src	Release snapshot	2014-07-18 05:03:59 +10:00
tools	x86: Make x86 the name of the architecture instead of IA32	2015-05-28 15:15:23 +10:00
Kbuild	Release snapshot	2014-07-18 05:03:59 +10:00
Kconfig	Release snapshot	2014-07-18 05:03:59 +10:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00