6 Jun
2024
6 Jun
'24
12:58 a.m.
Hello David, On 2024-06-05 15:40, David Martin wrote:
that sounds like a real plan for me to test tomorrow :) and if I'm not mistaken, inside each kernel now, the function "seL4_Untyped_Retype" should be called twice (one on each core) pointing to the same "free memory" declared previously so it can be used as shared memory by both harts.
Indeed. Multikernel is more cumbersome to work with because of things like this, compared to the SMP kernel. You can also do multithreading, if you're careful enough launching things. One thing missing is a cross-core task wakeup mechanism. Greetings, Indan