Martin Stein d5b38b674e hw: simplify buffer of Kernel::access_thread_regs ... ref #1101		2014-04-07 17:05:29 +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: simplify buffer of Kernel::access_thread_regs	2014-04-07 17:05:29 +02:00