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