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, <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
