[seL4] Re: Question about sel4-tutorial dynamic-2 and dynamic-3

29 Dec 2022

      Hi,

As for the 2nd question, looks like a new Vspace is created for a new thread, thank you for the finding!

Nataliya

Nataliya Korovkina