Hello,
I've just got my odroid-xu4 board and tried to port seL4test onto it, but met
some problems that cannot procceed. Do you have any guide or tutorial for it
step by step? I think I may have problem of initializing and partitioning of a
new sd card(main problem?). And maybe something is wrong with the uboot or
fastboot, but I'm not quite sure about that.
This is my fist time using this devel, don't know whether this message was sent
correctly or not :)
Looking forward to get some help by you guys.
Thanks!
Wang
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
