>>515
OrangePiとかも円安や物価高で高くはなってるけど、それでも送料込み3000円くらいでは買える。うちはIoT的な使い方はしてないけど。

サーバでも適度な冷却とSSD運用すれば安定度も高いし。
armbianとか入れたら十分。供給数も出たばかり以外のは入手性も悪くない。

(採用や利用を推してるわけではないので念のため>ALL。ネックはいろいろライセンスまわり、日本国内の思想的政治的安全保障的な面で却下されるだろうけど)