FYI, I've updated the fork, now I am using `starfive-linux` for the kernel(currently 6.14) instead of the old one provided by MilkV. There is also some (maybe minimal) support for Mars in the mainline kernel. I need to look into the GPU driver.
The board boots, I do not know yet about HDMI output and other features but I am testing.
`uname -a` says:
`Linux mars 6.14.0-rc3-edge-milkv-mars #1 SMP Mon Feb 17 09:04:34 UTC 2025 riscv64 GNU/Linux`