A collection of stuff I work on.
relm : Type-1 Linux kernel hypervisor with modular VMX, SVM, ARM EL2 and RISC-V support.
mlib : Linear Algebra library implementing optimized AVX2, ARM Neon and RISC-V RVV microkernels for SIMD acceleration.
xtor : x86-64 to RISC-V dynamic binary translator and optimizer.
rvx: Experimental RISC-V LLVM compiler backend.
Also working on a Chip (secret for now).