Re: [seL4] Booting on a Jetson TK1 board.