Sel4 for quadcore riscv64imafd - Devel - lists.sel4.systems

List overview All Threads
Download

Sel4 for quadcore riscv64imafd

Run VM guest on seL4 using CAmkEs

seL4_FailedLookup in vmware

Sreenadh S

22 Feb 2019 22 Feb '19

12:56 p.m.

I want to build sel4 for quadcore riscv64imafd and run the test programs, how to do that? Regards, Sreenadh S, CDAC, Trivandrum, India

Attachments:

attachment.html (text/html — 197 bytes)

Reply

Show replies by date

Mcleod, Kent (Data61, Kensington NSW)

3 Oct 3 Oct

5:17 a.m.

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

Unfortunately only single core riscv64imac is supported at this time.

Reply

961

days inactive

1184

days old

devel@sel4.systems

Manage subscription

1 comments

2 participants

tags (0)

participants (2)

Mcleod, Kent (Data61, Kensington NSW)
Sreenadh S