[seL4] Understanding Camkes Dataport Interface Access Rights

2019-06-30 Thread Amit Goyal
Hi All, I was looking at hello-camkes-2 tutorial. I understand the concept of dataports and the access rights given on dataport interfaces. I changed the configuration in hello-camkes-2.camkes.template file by adding echo.d = "R"; client.d = "W";. I did some changes in the client.c.template

Re: [seL4] Understanding Camkes Dataport Interface Access Rights

2019-06-30 Thread Lee, Damon (Data61, Kensington NSW)
Hi Amit, I'd like to apologise first for errors in the tutorials. The first hint for Task 8 of this tutorial should say: "use attributes ._access" instead. As for the fault handler, I assume that you didn't get a fault where we intended it to (writing to 'd_typed'). The checks aren't really

Re: [seL4] Understanding Camkes Dataport Interface Access Rights

2019-06-30 Thread Matthew Fernandez
I haven’t worked with CAmkES for some time, so it’s possible I’m going to inject nothing but nonsense into this conversation, but Amit’s question stirred a memory of mine. I read Amit’s question as, “why does reading from a dataport with W permission trigger a fault?” Whether you expect a read