Thanks Damon and Matthew for the quick response.
Further, I have following doubts if someone could clarify:
a) As far as I read the camkes code, I understand there is a collapse
function which merges the shared page in the two components and gives
required capabilities to both the components
Camkes dataports on seL4 (seL4SharedData connector) are implemented as a shared
memory mapping between the two components both pages are mapped to the same
underlying frame of physical memory. The access rights are implemented via
mapping attributes supported by the architecture. Your reads
