Hello, Indeed I was able to have seL4 running on multiple harts. Now I want to add an extra layer of shared memory (I'm not going to dig into the notification mechanism for the moment). I just want to create a shared memory region between 2 harts and check that both can have access to it. If I'm not mistaken, that could be done using a chunk of memory defined as device untyped and then used by each kernel (for my tests, I'll use 2 harts) to write/read. --> Is that a good understanding on how shared memory is suppose to be used within seL4?
David. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
