I want to build sel4 for  quadcore riscv64imafd and run the test programs, how to do that?


Regards,


Sreenadh S,

CDAC, Trivandrum, India