[seL4] Re: Multikernel in RISCV

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.