There are not a lot of RISC-V dts in the Linux Kernel, but the K210 is (see https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tree/arch/riscv/boot/dts/canaan?h=v6.3.9 )
Since it has been discussed several times on HN, i wanted to ask who is using the K210 in their projects, and if anyone has managed to run Linux kernel with MMU? There have been patches submitted to OpenSBI (https://github.com/oscourse-tsinghua/rcore_plus/issues/34 ) but it seems no one is running Linux kernel MMU with K210 (Sipeed M1)?