Linux Kernel on Quasi SoC Nommu 32-bit RISC-V is not officially supported by Linux yet, but one can get it work with various dirty hacks. TODO