[seL4] Re: Loading a large sel4test image on Odroid-C4 Fails

[Linh Pham]

Hi Indan,

Thank you for the datasheet, this helps a lot.

Linh
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems