Stefan Kalkowski fde93c3284 init: don't call Rom_session::dataspace() twice ...

In general, requesting a dataspace from a server twice is no good
idea. The server might react in a unrecoverable fashion. E.g. the rom_fs
service always throws away the corresponding dataspace from the first call
of dataspace(), and constructs a new one.

2013-10-29 18:08:30 +01:00

..

child_config.h

Update copyright headers to 2013

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

child_policy.h

Attach affinity information to session requests

2013-08-13 17:08:25 +02:00

child.h

init: don't call Rom_session::dataspace() twice

2013-10-29 18:08:30 +01:00