/configs/os/cmdline/

• ../
• v0-hdmi-rpi2.sed
• v0-hdmi-rpi3.sed
• v0-vga-rpi2.sed
• v0-vga-rpi3.sed
• v1-hdmi-rpi2.sed
• v1-hdmi-rpi3.sed
• v1-vga-rpi2.sed
• v1-vga-rpi3.sed
• v2-hdmi-rpi4.sed
• v2-hdmi-zerow.sed