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 date
Unfortunately only single core riscv64imac is supported at this time.
devel@sel4.systems
Add to favorites Remove from favorites