
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