Re: [seL4] Automatic testing using qemu