I want to build sel4 for quadcore riscv64imafd and run the test programs, how to do that?
Regards, Sreenadh S, CDAC, Trivandrum, India
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
