/configs/os/cmdline/

• ../
• v0-hdmi.sed
• v0-vga.sed
• v1-hdmi.sed
• v1-vga.sed
• v2-hdmi.sed