Files
operating-system/buildroot/boot/ts4800-mbrboot/Config.in