This looks like it will work, but I'm on seL4 10.0 right now. I've not been able to get a cmake configuration that works with seL4 12.0 for RISC-V yet. I think this is the biggest hurdle now, how to get seL4 built for RISC-V with a very simple hello world project. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
- [seL4] QEMU vs Spike on RISC-V Deb... Porter, Jeremy
- Re: [seL4] QEMU vs Spike on RI... Zhuang, Siwei (Data61, Kensington NSW)
- Re: [seL4] QEMU vs Spike o... Porter, Jeremy
- Re: [seL4] QEMU vs Spi... Zhuang, Siwei (Data61, Kensington NSW)
- [seL4] Re: QEMU vs... porter . 188
