リリースされたので、PandaBoardのOSをUbuntu 12.10 Serverにアップグレードした。 本当なら安全性のためにシリアルコンソールからやるべきだが、めんどくさかったのでSSHからやった。 特に問題なくアップデートが完了し、特に問題なくSSHフォワーディングサ…