Martin Stein 54610247ad hw: don't communicate main-thread UTCB via SP ... When using the initial SP of a main thread for the UTCB startup-argument, fork_trampoline in libc_noux gets broken. The function expects the SP to be initialized already in contrast to the _start function in crt0.s that is called for processes that are not forked. As the main-thread UTCB is located at the same virtual address for every PD anyways, we can circumvent this problem by defining it statically. ref #964		2013-12-03 08:33:24 +01:00
..
lock	hw: no default values for kernel-call args	2013-11-26 14:32:07 +01:00
signal	hw: provide Signal_context::submit	2013-11-28 08:22:24 +01:00
thread	hw: turn Native_utcb into restrictive class	2013-12-03 08:33:24 +01:00
console.cc	base-hw: Avoid early calls of cmpxchg	2013-05-15 20:47:46 +02:00
ipc.cc	hw: turn Native_utcb into restrictive class	2013-12-03 08:33:24 +01:00
pager.cc	hw: use platform-thread pointer as pager badge	2013-11-25 09:45:30 +01:00
placement_new.h	hw: provide placement via dedicated header	2013-11-14 19:57:30 +01:00
singleton.h	hw: provide placement via dedicated header	2013-11-14 19:57:30 +01:00
thread_support.cc	hw: don't communicate main-thread UTCB via SP	2013-12-03 08:33:24 +01:00