sel4-riscv Port
IMPORTANT!
This repo is old/outdated version of the seL4 microkernel. Please use [1] instead. And to build a complete seL4-system, have a look at this post [2], and use the involved repos here [3].
Feel free to contact me regarding any issues!
[1] https://github.com/heshamelmatary/seL4-riscv-mk [2] http://heshamelmatary.blogspot.co.uk/2015/07/howto-build-and-run-sel4-on-risc-v.html [3] https://github.com/heshamelmatary/sel4riscv-manifest/blob/master/default.xml