Martin Stein 77f55232fd hw: remove Kernel::get_thread ... ref #953		2013-11-25 09:45:31 +01:00
..
arm/kernel	hw: clearer naming scheme in kernel API	2013-11-25 09:45:30 +01:00
base	hw: use platform-thread pointer as pager badge	2013-11-25 09:45:30 +01:00
core	hw: remove Kernel::get_thread	2013-11-25 09:45:31 +01:00
platform	Move main bootstrap to platform-specific object	2013-09-26 15:00:16 +02:00