動作しないというトラブルに遭遇しました。版も以下のようなエラーメッセージが表示されます。再インストールする(強制的に古いバージョンに戻す)ことで動作するようになりました。設定でプロキシの設定をすることができますが、不思議なことに環境変数にはプロキシ認証部分が反映されないようです。環境変数の値は「http://プロキシ認証で使用するユーザ名:プロキシ認証で使用するパスワード@プロキシサーバのアドレス:プロキシサーバのポート」という形式で設定されていなければいけないのですが、何故か環境変数は「http://プロキシサーバのアドレス:プロキシサーバのポート」となってしまいます。手動で環境変数を設定し直してアップデートの有無のチェックをしていたのですが、いつまで経っても1個もアップデートが無いという状態が続き、不思議に思っていました。コマンドを使ってプロキシの設定をする必要があるようです。以下のように設定してください。現在の設定値を表示することができます。環境変数を参照してしまったため、うまくダウンロードできませんでした。項目に「login=プロキシ認証で使用するユーザ名:プロキシ認証で使用するパスワード」というオプションを指定することで上位プロキシへリクエストを転送するときに挿入してもらうことにしました。カーネルをコンパイルする際にはいくつか注意点があります。カーネルをコンパイルする際に試行錯誤して見つけた手順です。正式なコンパイル手順については私は知りません。(^^;カーネルをコンパイルしてインストールする場合は以下のようにします。