とりあえず、void linuxもしくはArch Linuxの仮想マシンにor1kのtoolkitを入れていたのでは…？と思っていたのだけど、これも見当たらず。マシン移行の際に仮想マシン組み直して、ってことはしてない気もするし…まあいいや、ゼロからやり直し（もしくはor1k不要になる…SCP抜きでU-bootをビルドする方法の模索）ということで良いんだろう。

おやおや、仮想マシン上のArch Linux、halt -pしたらSession terminated, killing shell...から先に進まないぞ…と思って放置したらどうにかシャットダウンしたか。何が起こっているのやら。

うーむぅ、Debian 12(RC1)へ移行すべきかは悩ましい。 https://www.phoronix.com/news/Debian-Installer-Bookworm-RC1
Debian 12's Installer Reaches RC1 Status (3/Apr/2023)

おうちInfinibandか… https://qiita.com/TumoiYorozu/items/3e36654fac8b1d60e371 実効速度 Over 20G 高速ネットワークを予算1.5万円で作る(2019/12/4)

ふとしたことからNTTのExaSPEEDなる石の存在を知ったんだけど、こーゆう直球のネーミングは結構好きだったり。ExaSPEED GAIAとか、なんか強そう（単に自分が中二病引きずってるだけ？）。 https://www.ntt-electronics.com/product/electronics/index.html