Hi Christian,
[When a dataspace is attached to the region the corresponding permissions
are shown and holes between the dataspaces are shown as ---p.]
The weird thing is that my whole region (size of 0x40000000) is marked as a hole.
[Could you check if the ' _obj_space.attach()' call actually succeeded?]
Yes I think the issue is here. I tried attaching a size of 0x40000000 and 50. Both threw the error: "Error: Region_map_mmap::attach: dataspace does not fit in sub RM session". Which doesn't make sense since I created _obj_space with a size of 0x40000000.
Also, is this attachment necessary? It is not used in the rm_nested code (lines 247-259): https://github.com/genodelabs/genode/blob/f1e85c0db8023ce481a40f85d4cba03f3d....
Thanks for the help.
Best, Rumen
________________________________________ From: Christian Prochaska christian.prochaska@genode-labs.com Sent: Thursday, July 24, 2025 5:29 PM To: users@lists.genode.org Subject: Re: Region Map's Permission Difficulties
CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
Hi Rumen,
here is an example output of "info proc mappings" on base-linux:
... 0x7ffbe6e00000 0x7ffbe6e01000 0x1000 0x0 rw-s /tmp/genode-1000/ds-752 (deleted) 0x7ffbe6e01000 0x7ffbe6e10000 0xf000 0x0 ---p 0x7ffbe6e10000 0x7ffbe6e20000 0x10000 0x0 rw-s /tmp/genode-1000/ds-915 (deleted) 0x7ffbe6e20000 0x7ffbe6e40000 0x20000 0x0 ---p 0x7ffbe6e40000 0x7ffbe6e80000 0x40000 0x0 rwxs /tmp/genode-1000/ds-938 (deleted) 0x7ffbe6e80000 0x7ffbe6f00000 0x80000 0x0 rwxs /tmp/genode-1000/ds-835 (deleted) ...
The managed dataspace region goes from 0x7ffbe6e00000 to 0x7fffe6dfffff. When a dataspace is attached to the region the corresponding permissions are shown and holes between the dataspaces are shown as ---p.
Could you check if the ' _obj_space.attach()' call actually succeeded? Or if the result is different when you attach '_obj_space' to 'env.rm()' first and then the dataspace to '_obj_space'?
Christian _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-leave@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/mes...