RISC-V Proxy Kernel