4GBのRasPi4Bが1.6万円、CPUの能力的に同等なROCK 4 SEが1万円だもんなあ。RADXAというかOKDOのは日本じゃあRSしか扱っていないが。