Hi,

I want to launch multiple Genode processes. One obvious way is to take advantage of init process. But it seems like all these init-created processes will share the same RM session (provided by Core) and hence the same pager.  To allow each process to have its own region map, shall I write my own launching process or modify init ? Thanks.

Best,

Chen