Re: [seL4] Upstream seL4/RISC-V work?

That’s great to hear! It’s a bit hard to tell what exactly would need to be done to merge it, but if you create a pull request on github, we can look at the diffs in details, give feedback and discuss what else needs to be done. Probably easiest to start with the kernel itself first, and then go through the other repos. Cheers, Gerwin

On 8 Aug 2015, at 12:54 am, Hesham ALMatary 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-ris...

Best, -- Hesham

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

________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.