raspberry pi 3 カーネルクロスコンパイルについて


# 今できてること

raspberry pi 3B にubuntu 23.04を入れています。
libbpfを使いために、CONFIG_DEBUG_INFO_BTFを設定したカーネルを、wsl上のubuntuでクロスコンパイルを行うところまではできました。

参考にしたサイト様は以下の2つです。  
[Raspberry Pi
Documentation](https://www.raspberrypi.com/documentation/computers/linux_kernel.html)  
[Raspberry Pi OSのカーネルソースビルド手順解説](https://aquarius-
train.hatenablog.com/entry/Raspberry_Pi_OS%E3%81%AE%E3%82%AB%E3%83%BC%E3%83%8D%E3%83%AB%E3%82%BD%E3%83%BC%E3%82%B9%E3%83%93%E3%83%AB%E3%83%89%E6%89%8B%E9%A0%86%E8%A7%A3%E8%AA%AC)

# 試した方法

[1](https://www.raspberrypi.com/documentation/computers/linux_kernel.html)の方では、SDカードにコピーする方法を試しました。
が、うまくマウントされているのかわからずコピーもうまくできていないようでした。これは私の知識と経験不足です。

[1](https://www.raspberrypi.com/documentation/computers/linux_kernel.html)に、config.txtの中のkernel=を変更して起動すると良いと書かれていましたが、/boot配下に、[Raspberry
Piカーネルクロスコンパイル環境の構築](https://tomosoft.jp/design/?p=5257)のようにscpを使ってImageを置いて、指定したのですが、起動しませんでした、、、

[2](https://aquarius-
train.hatenablog.com/entry/Raspberry_Pi_OS%E3%81%AE%E3%82%AB%E3%83%BC%E3%83%8D%E3%83%AB%E3%82%BD%E3%83%BC%E3%82%B9%E3%83%93%E3%83%AB%E3%83%89%E6%89%8B%E9%A0%86%E8%A7%A3%E8%AA%AC)の方法ですと、scpをした後、/libを/配下にコピーしようと思っても出来ませんでした。

# 知りたいこと

クロスコンパイルできているカーネルを、どのようにしてSDカードに入れて起動させることができるのでしょうか？

詳しいやり方など教えていただけたら幸いです。

