Sel4 for quadcore riscv64imafd

22 Feb
2019
22 Feb
'19
7:56 a.m.
I want to build sel4 for quadcore riscv64imafd and run the test programs, how to do that? Regards, Sreenadh S, CDAC, Trivandrum, India
2108
Age (days ago)
2331
Last active (days ago)
1 comments
2 participants
participants (2)
-
Mcleod, Kent (Data61, Kensington NSW)
-
Sreenadh S