Re: [seL4] Demo build