bs2_default_padded_checksummed.S の作り方

2nd ブートファイルをフラッシュの先頭に置いてブートさせる場合、pico-sdk 以外から bs2_default_padded_checksummed.S ファイルを使用したい場合があります。
以下のようにしてビルドできます。

cd pico-sdk
mkdir build
cd build
cmake ..
#cd src/rp2_common/boot_stage2
make bs2_default_padded_checksummed_asm

pico-sdk/build/src/rp2_common/boot_stage2/bs2_default_padded_checksummed.S にファイルが作成されます。リンク時に指定します。

このようにリンク先のターゲット無しでビルドすると boot2_generic_03h.S ファイルがコンパイルされます。

make 時にターゲットとして bs2_default_padded_checksummed_asm を指定しないと bin ファイルや S ファイルは生成されません。