Hello,

I’ve been getting started with seL4 on the zynq7000 and I am looking for resources on how to read/write physical memory for memory mapped io purposes.

If there is a relevant tutorial or manual to reference I haven’t come across it yet so I wanted to ask here. Any other guidance as to how to think about and work with capabilities would be useful at this stage.

I’m working with a modified version of the sel4test repository. Looking at that I found env.simple (simple_t defined https://github.com/seL4/seL4_libs/blob/a1c031b0885dec4ddf1ee1f8866bcd23dcca6ac3/libsel4simple/include/simple/simple.h) which seems to contain function pointers for some relevant functions to what I’m trying to do, but I am not entirely sure how to go about using them. What needs to be initialized first and how do I go about that?

Any guidance greatly appreciated,

Thanks.

Jeff Brandon

Associate Staff

MIT Lincoln Laboratory

05-53 Secure Resilient Systems and Technology

Ph:   781.981.9233