I’m curious about alternatives to the RaspberryPi for running AlmaLinux 8. They’re definitely an option, but has anyone here had success with other arm64 single board computers/low power devices? We’re using these solely as tang servers and looking to upgrade from a few older OrangePi boards running CentOS 7. Main concerns are reliability and boot speed (if stepping up from an SD card without blowing up the price is possible). Would like to keep it under $200 for board, enclosure, and power supply.