This is great news. Is there a special BSP that needs to be flashed first for risc-v boards? Or will it work out of the box with OpenSBI?
In the context of Debian, let us hope people aren't flashing a BSP³ in the hope of improved board support ;)
¹ https://wiki.debian.org/RISC-V#Hardware