[seL4] Question about process and thread in tutorials