/script/build/
../
boot
command
coreboot
descriptors
grub
release
rpi-pico