Very interesting, looks like you can buy it for $700 on AliExpress. I wonder if there are other debian compatible RISC -V boards with cheaper prices. $700 is not exactly hobbyist friendly.
You may run into a few hurdles until ACPI support for RISC-V devices matures a bit, but hopefully it'll be better than the situation with ARM boards.
The porterbox is a HiFie Unmatched.
This one? https://www.sifive.com/boards/hifive-unmatched
Very interesting, looks like you can buy it for $700 on AliExpress. I wonder if there are other debian compatible RISC -V boards with cheaper prices. $700 is not exactly hobbyist friendly.
You may run into a few hurdles until ACPI support for RISC-V devices matures a bit, but hopefully it'll be better than the situation with ARM boards.