[seL4] Re: seL4 on TX1

Oh! I'm very confused. I don't know what to do next? Can you give me a way forward? Comet

At 2022-01-28 05:48:21, "Peter Chubb" peter.chubb@unsw.edu.au wrote:

Hi, I tried running seL4test on an NVIDIA Jetson TX1 board this morning, and it worked. The only difference I an see between your setup and mine is I loaded the image at 0x80000000 instead of at 0x82000000.

Can you try that and see what happens, please? If it then works for you, I'l have to do some more digging to find out why.

Peter C

Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW