genode/base-hw/src
Martin Stein 210216e5e1 hw: simplify Kernel::start_thread
Instead of writing initial thread context to the platform-thread members
and then communicating this core object to kernel, core calls
Kernel::access_thread_regs first to initialize thread context and then
Kernel::start_thread without a platform-thread pointer. This way
the frontend as well as the backend of Kernel::start_thread loose
complexity and it is a first step to remove platform thread from the
vocabulary of the kernel.

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: simplify Kernel::start_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