Hi,

The seL4/RISC-V port is now working on Spike (emulator), Rocket Chip
(FPGA), and jor1k (online emulator). I've also written a recent blog
post how to build/run the port with SOS project  [1] from my repos).

The code is pretty much like the ARM port, and following the same
bootstrapping procedure (more on this on my blog). MMU code provides
4KiB and 4MiB pages (like IA-32).

I'd like to ask if there are special requirements to upstream this work:
* All libraries that are target-dependant.
* seL4 microkernel.
* Tools (elf loader, build system).
* SOS project?

I understand it won't be an easy process because this work is the
first "foreign" code that big, of course apart from formal
verification. But it wouldn't hurt to ask.


[1] http://heshamelmatary.blogspot.co.uk/2015/07/howto-build-and-run-sel4-on-risc-v.html

Best,
--
Hesham

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel