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

11: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

3:17 p.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

1340

Age (days ago)

1563

Last active (days ago)

devel@sel4.systems

1 comments

2 participants

tags (0)

participants (2)

Mcleod, Kent (Data61, Kensington NSW)
Sreenadh S