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