# ① Pico 2用サンプル・ファイル・ディレクトリに移動
$ cd fmp_1.4.1/OBJ/fmp_1.4.1/OBJ/RASPBERRYPI_PICO2_GCC⏎
# ② libkernelディレクトリを作成
$ mkdir libkernel⏎
# ③ libkernelディレクトリに移動
$ cd libkernel⏎
# ④ Cortex-M33のカーネル・ライブラリ用ソース生成
../../../configure -T raspberrypi_pico2_gcc -f⏎
# ⑤ カーネル・ライブラリ（libkernel.a）を作成
$ make libkernel.a⏎
# ⑥sdlogshieldディレクトリに移動
$ cd ../sdlogshielcd⏎
# ⑦-1 ROM形式の実行ファイルを作成，または
$ make DBGENV=ROM⏎              ←どちらかを実行する
# ⑦-2 RAM形式の実行ファイルを作成
$ make⏎                         ←
