Bug#769406: Serial console not set up after serial install

[Samuel Thibault <sthibault@debian.org>]

Hello,

Geert Stappers, le Wed 03 Dec 2014 22:30:39 +0100, a écrit :
> Jan  1 21:50:07 kernel: [    0.000000] Command line: BOOT_IMAGE=http://alpaca.gpm.stappers.nl/d-i/jessie/amd64/linux vga=normal console=ttyS0,19200,n8 -- initrd=http://alpaca.gpm.stappers.nl/d-i/jessie/amd64/initrd.gz 

Options to be propagated to the installed kernel have to be put after
--.  With the recent kernel change which lead to #764675, it's actually
now ---, so it'd be something like

> vga=normal initrd=http://alpaca.gpm.stappers.nl/d-i/jessie/amd64/initrd.gz --- console=ttyS0,19200,n8 

How were this console= parameter added precisely?

I have added to the manual's Boot Parameters section an explicit mention
of this.

Samuel