2 ms·
SeL4 on RISC V Fast, Secure, Open Source and Proved Bug Free OS Kernel
- mbrodersen 5y agoIt's interesting that the RISC-V version of the Micro-Kernel is significantly smaller than the ARM and X86 versions. And that the RISC-V 32/64 versions share a much higher percentage of common code compared with ARM/X86. I guess it is testament to how clean the RISC-V architecture is.