j
k
j a
j l
I want to build sel4 for quadcore riscv64imafd and run the test programs, how to do that?
Regards,
Sreenadh S,
CDAC, Trivandrum, India
Attachments:
Show replies by thread
devel@sel4.systems
Add to favorites Remove from favorites