Re: [seL4] Camkes and Memory-Mapped Peripherals