Nice! On Fri, Aug 7, 2015 at 7:58 AM Hesham ALMatary <heshamelmat...@gmail.com> wrote:
> 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 >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
