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

..

doc

Merge panda_a2 and panda SPEC (fix #505, fix #506)

2012-11-23 12:20:27 +01:00

include

hw: communicate UTCB dataspace through start info

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

lib/mk

hw: clearer naming scheme in kernel API

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

mk

hw: basic support for ODROID XU board (Fix #991)

2013-12-03 11:30:07 +01:00

run

hw: adjust expected serial start-message in run

2013-11-25 09:46:08 +01:00

src

hw: communicate UTCB dataspace through start info

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