Martin Stein 873c3f3984 hw: correct return type of Kernel::new_thread ... ref #1101		2014-04-07 17:04:20 +02:00
..
arm/kernel	hw: move core-restricted interface to local header	2014-04-07 17:02:50 +02:00
base	hw: get a thread cap in Thread_base constructor	2014-03-07 17:24:54 +01:00
core	hw: correct return type of Kernel::new_thread	2014-04-07 17:04:20 +02:00