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