Re: [seL4] seL4 test on x86