RPIのKali、カーネルをアップグレードし、現在のヘッダーをインストールできないか、ビルドする古いヘッダーが見つかりません。

RPIのKali、カーネルをアップグレードし、現在のヘッダーをインストールできないか、ビルドする古いヘッダーが見つかりません。

私はRaspberry Pi 2Bを持っていて、Kali Webサイトからダウンロードしたカーネル4.1.19-v7と一緒にKali Linux 2016.2をインストールしました。うまく動作しますが、特定のユーティリティが機能するには、恐ろしいEDIMAX EW-7811用のワイヤレスドライバを更新する必要があります。 Edimaxが提供するソースコードでコンパイルしたいので、ビルド環境を設定する必要があります。

私はUbuntuとRaspbianにlinux-headersとbuild-essentialsをインストールし、make ...などをインストールしてこれを2回実行しました。 aptでlinux-headersを見つけると、4.8. *の最新のヘッダーが見つかりますが、画像に付属の4.1.19は見つかりません。

これで、2つのオプションが表示されます。 Kaliを4.8にアップグレードするか、以前のバージョンのヘッダーを検索してください。

  • dist アップグレードを試みて再起動しました。それでも4.1.19-v7(cname -r)です。
  • linux-image-4.8.0-kali1-armmpをインストールしました。エラーなしでインストールされ、私の/bootフォルダにいくつかの新しいオプションがありますが、再起動後もuname -rはまだ4.1.19-v7を提供します。

新しいカーネルをビルドするのではなく、リポジトリから更新するだけです。 RPi イメージは grub を使用しないので、インストールしたばかりの新しいカーネルを起動するように pi にどのように指示しますか?

kali / piでdo-dist-upgradeを実行する方法は?うまくいかないことを知っているので、アップグレードしませんか?成功すれば何か壊れるでしょうか?これを実行できない場合は、ビルドして続行できるように古いヘッダーをどのように見つけますか?私は木を間違って探していますか?

関連情報