/configs/platform-rpi1/

• ../
• barebox-defaultenv
• barebox.config
• config
• firmware
• kernelconfig
• patches
• platformconfig
• platforms
• rules