Hi Kofi, Thanks for the info. Its working now. I would like to understand from tx1 platform the phyBase and kernel base address defined as 0x80000000,0xffffff8000000000 in hardware.h. Could you please share the base or reference on what basis decided to use that addresses in sel4 kernel. Regards, Munees On Tue, Oct 24, 2017 at 4:42 AM, wrote:

Hi Munees,

I went through some methods for how to boot the seL4 kernel on a stock TX1 board yesterday and wrote this guide: https://wiki.sel4. systems/Hardware/jetsontx1

It goes through the steps for getting seL4 booted using an SD Card, the internal 15GiB mass storage on the TX1, or using a USB cable and the DFU protocol.​ DFU is probably a lot faster/better for you f you're doing active development. Could you try one of these methods and let me know if any of them works for you?

-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel