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

newer
Run VM guest on seL4 using CAmkEs

Sel4 for quadcore riscv64imafd

older
seL4_FailedLookup in vmware

Sreenadh S

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

Attachments:

attachment.html (text/html — 197 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

Mcleod, Kent (Data61, Kensington NSW)

3 Oct 3 Oct

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

Sign in to reply online Use email software

2108

Age (days ago)

2331

Last active (days ago)

Download

1 comments

2 participants

tags

participants (2)

Mcleod, Kent (Data61, Kensington NSW)
Sreenadh S