# ① OBJディレクトリに移動
$ cd ../..⏎
# ② 開発ディレクトリを作成
$ mkdir RASPBERRYPI_PICO2RV_GCC⏎
# ③ 開発ディレクトリ内に移動
$ cd RASPBERRYPI_PICO2RV_GCC⏎
# ④ RISC-V用のlibkernelディレクトリを作成
$ mkdir libkernel⏎
# ⑤ libkernelディレクトリに移動
$ cd libkernel⏎
# ⑥ RISC-V用のカーネル・ライブラリ用ソース生成
$ ../../../configure -T raspberrypi_pico2rv_gcc -f⏎
# ⑦ カーネル・ライブラリ（libkernel.a）を作成
$ make libkernel.a⏎
