I need to configure a basic home server that can run Nextcloud and GoToSocial. I would like to use a libre RISC-V single board computer. What are good bang-for-the-buck alternatives as of December 2024?