It'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.