tree f25bc403b0cdd5498e4138cf24a75a98aa8d163c
parent bde340177f74dc6848f1d24a119aacaa68332558
author Samuel Mendoza-Jonas <sam@mendozajonas.com> 1459380304 +1100
committer Samuel Mendoza-Jonas <sam@mendozajonas.com> 1459384305 +1100

linux: Specify boot consoles on the command line

By default the boot console will only appear on hvc0; specify both hvc0
and tty0 on the kernel command line to enable boot output on the VGA
console.

Signed-off-by: Samuel Mendoza-Jonas <sam@mendozajonas.com>