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
..
api	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
arch	x86: Make x86 the name of the architecture instead of IA32	2015-05-28 15:15:23 +10:00
kernel	Release snapshot	2014-07-18 05:03:59 +10:00
machine	Release snapshot	2014-07-18 05:03:59 +10:00
model	Release snapshot	2014-07-18 05:03:59 +10:00
object	Move arch independent object definitions to common location	2015-05-14 09:42:19 +10:00
plat	ia32: Explicitly pack ACPI structs	2015-05-28 12:09:13 +10:00
api.h	Release snapshot	2014-07-18 05:03:59 +10:00
assert.h	Release snapshot	2014-07-18 05:03:59 +10:00
basic_types.h	split the types header into basic and compound to resolve circular dependencies	2015-04-15 11:57:08 +10:00
benchmark.h	Release snapshot	2014-07-18 05:03:59 +10:00
bootinfo.h	ia32: Large commit that implements PAE paging for x86	2015-01-28 12:11:51 +11:00
compound_types.h	split the types header into basic and compound to resolve circular dependencies	2015-04-15 11:57:08 +10:00
config.h	Set default MAX_NUM_BOOTINFO_DEVICE_REGIONS to a value that will fit into the initial boot info frame	2014-09-03 14:06:03 +10:00
machine.h	Release snapshot	2014-07-18 05:03:59 +10:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00
object.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdarg.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdint.h	Release snapshot	2014-07-18 05:03:59 +10:00
string.h	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
types.h	ia32: added the option to disable prefetchers	2015-04-15 14:38:55 +10:00
util.h	ia32: Ensure multiboot structs are packed	2015-05-28 12:09:12 +10:00