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
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
