Anna Lyons f5afc2d917 change include/arch/ia32/arch/api/objecttype.h to match the libsel4 equivalent		2015-05-15 14:43:24 +10:00
..
arm	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
ia32	change include/arch/ia32/arch/api/objecttype.h to match the libsel4 equivalent	2015-05-15 14:43:24 +10:00