Martin Stein 6aa0ab1bf9 hw: communicate UTCB dataspace through start info ...

To remap its UTCB to its context area later, a main thread needs
to know the according dataspace capability. This is done through
the start-info it receives from its creator at startup.

ref #989

2013-12-20 14:48:05 +01:00

..

ipc_msgbuf.h

Update copyright headers to 2013

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

native_types.h

hw: communicate UTCB dataspace through start info

2013-12-20 14:48:05 +01:00

pager.h

hw: use platform-thread pointer as pager badge

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