How hard is the initial setup for this board? Is it a simple flash an sdcard and power it, or does it require manual kernel crosscompiling of some specific unmaintained github fork? I know Debian is working on offcial riscv support but I haven’t looked at how far its come along in a bit.