Re: [seL4] Loading bin image on RPI3(Remainder)