2012-10-19 Ubuntu 12.10 日常 リリースされたので、PandaBoardのOSをUbuntu 12.10 Serverにアップグレードした。 本当なら安全性のためにシリアルコンソールからやるべきだが、めんどくさかったのでSSHからやった。 特に問題なくアップデートが完了し、特に問題なくSSHフォワーディングサーバとして動いている。 そのあと、CuBoxのUbuntu CoreとデスクトップPC上のVirtualBox仮想マシンのUbuntu Desktopもアップグレードした。 デスクトップはAmazonのあれが気になるが、まあ切れるらしいのでいいかという判断。