RPI의 Kali, 커널을 업그레이드하고 현재 헤더를 설치할 수 없거나 빌드할 이전 헤더를 찾을 수 없습니다.

RPI의 Kali, 커널을 업그레이드하고 현재 헤더를 설치할 수 없거나 빌드할 이전 헤더를 찾을 수 없습니다.

저는 Raspberry Pi 2B를 가지고 있고 Kali 웹사이트에서 다운로드한 커널 4.1.19-v7과 함께 Kali Linux 2016.2를 설치했습니다. 잘 작동하지만 특정 유틸리티가 작동하려면 끔찍한 EDIMAX EW-7811용 무선 드라이버를 업데이트해야 합니다. Edimax에서 제공하는 소스코드에서 컴파일하고 싶어서 빌드 환경을 설정해야 합니다.

저는 Ubuntu와 Raspbian에서 linux-headers와 build-essentials를 설치한 다음 make...등을 설치하여 이 작업을 두 번 수행했습니다. apt에서 linux-headers를 찾으면 4.8.*에 대한 최신 헤더를 찾을 수 있지만 이미지와 함께 제공되는 4.1.19는 찾을 수 없습니다.

이제 두 가지 옵션이 표시됩니다. 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를 수행하는 방법은 무엇입니까? 작동하지 않을 것이라는 것을 알기 때문에 업그레이드하지 않습니까? 성공하면 뭔가 깨질까요? 이 작업을 수행할 수 없는 경우 빌드하고 계속 진행할 수 있도록 이전 헤더를 어떻게 찾나요? 내가 나무를 잘못 찾고 있는 걸까?

관련 정보