portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4/arch_include
History
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
..
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 Add ability to set a human readable thread name when running kernel in debug mode 2015-05-14 09:32:58 +10:00