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