[sel4] Porting seL4 to RISC-V - Status Report 1 - Devel

25 May 2015

      Hi all,

As a warm up, I've written a blog entry [1] of the project giving some
introductory details for both RISC-V and seL4 microkernel and what has
been done so far. Open to questions/suggestions.

[1] http://heshamelmatary.blogspot.co.uk/2015/05/porting-sel4-to-risc-v-status-r...

Thanks,
-- 
Hesham

[sel4] Porting seL4 to RISC-V - Status Report 1

Hesham ALMatary

tags

participants (2)