Alexander Boettcher 2a761c7fea run: extend genode_until_run by a spawn id ...

genode_until_run can be called now with a spawn id to able to reattach to a
spawned process (amt, serial output). Run scripts can now call genode_until_run
multiple times.

2013-05-08 09:42:44 +02:00

..

doc

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

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

include

base-hw: store Platform_pd pointer in Kernel::Pd

2013-04-09 14:24:25 +02:00

lib/mk

Rework the internal lock interface

2013-02-25 22:14:21 +01:00

mk

Remove 'epit' from generic i.MX platform spec

2013-03-14 11:27:51 +01:00

run

run: extend genode_until_run by a spawn id

2013-05-08 09:42:44 +02:00

src

hw & core: provide env_context_area_rm_session()

2013-05-07 21:56:07 +02:00