path: root/configs/os/cmdline/v0-hdmi-rpi2.sed

s/console=ttyAMA0\,115200//g
s/kgdboc=ttyAMA0\,115200//g
s/console=serial0\,115200//g
s/kgdboc=serial0\,115200//g
s/rootwait/rootwait cma=128M/g