Hello, I can build sel4test for FVP, how do I run it there? I couldn't find any documentation on that, would be great if someone could drop a command line and any required dependencies.
Regards, Hesham _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
