2021年12月27日のメモ
Raspberry Piのkernleのheaderのinstallは
$ apt install raspberrypi-kernel-headers
GCCでmakeしたkernelは起動するのにClangでmakeしたkernelが起動しなかった件、
$ sudo cp arch/arm64/boot/Image /boot/kernel8-`make kernelrelease`.img
でkernel imageをcopyしていたのを
$ sudo make install
することで起動するようになった。