Adrian Danis 952e5a272b Add ability to set a human readable thread name when running kernel in debug mode		2015-05-14 09:32:58 +10:00
..
interfaces	libsel4: Support multiple struct types for the generated syscall stubs	2015-03-10 15:12:06 +11:00
sel4/arch	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00