サーバーが置いてある回線(実家の回線)が不調。。。
昨日の昼から今までにかけて、9回切断された形跡がある。
プロバイダ側のメンテナンスでもしてるのかなぁ。
ちょっと把握ができない。
まぁ、切断されても、すぐに復旧するようにはなってるんだけど、
最大で5分ぐらいかかるのが厄介。
もし、今日の朝以降も異常が続くようであれば、少し調査をした方がいいな。
U-Bootのwgetコマンドへの不具合修正パッチを投稿してみた (2024/04/20 09:04)
Raspberry Pi 4Bでは、Raspberry Pi OSとmainlineのLinux Kernelでserial0, serial1の割当が違う (2023/10/15 17:28)
最新の Linux Kernel を各環境でビルドして動かしてみる(2023/8/6) (2023/08/06 17:01)
OpenOCDを使ってVisionFive2のJTAGデバッグ (2023/08/05 16:13)
VisionFive2でLinuxを起動する (2023/01/09 21:39)