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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
