On Tue, Dec 8, 2020 at 9:48 AM Seo Yeon Hwang wrote:

Hello all,

I wonder if it is possible for a component to directly access some specific part of memory with an address or access the whole component (not some dataports) using Camkes. I can see how to set up the permissions (R/W) for each dataport in the tutorial #port_privileges part, but I wonder if one component can read some specific memory region with starting and ending addresses, or read the whole memory where another component is located.

This is not currently possible without larger modifications to camkes. You would need the ability to describe a connection that gave access to a particular virtual address range of another component. Dataports are implemented by inserting symbols into the ELF that the system intializer knows to fill in with shared memory frames. The linker is left to allocate a virtual address range for this that is private to each component. Camkes ensures that component's memories are isolated by default so there is not an easy way to allow a component access to an arbitrary address of another. Kent.

Thanks for your help!

Best regards, Seoyeon _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems