RV64 toy/hobby kernel. No compatibility aim but rather at efficiency and speed.