23 Nov
2023
23 Nov
'23
1:18 a.m.
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