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

..

ipc_msgbuf.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

native_types.h

hw: don't communicate main-thread UTCB via SP

2013-12-03 08:33:24 +01:00

pager.h

hw: use platform-thread pointer as pager badge

2013-11-25 09:45:30 +01:00