/bsp/raspberry-pi/raspi4-64/tools/

• ../
• config.txt
• u-boot64.bin