serial console output - characters printed twice

[lupowolfi]

(2015-09-10 10:44)mcb30 Wrote:  

(2015-09-10 10:33)lupowolfi Wrote:  With this setup, the serial console output seems to have a minor issue, namely each character is printed twice.

You have enabled both iPXE's own serial console support (CONSOLE_SERIAL in config/console.h) and also your BIOS's serial console redirection.

Michael

You were right, that was the "problem". Thank you for your fast help!

I did not realize that the PCBIOS console was enabled, because the option was commented out in config/console.h.
Undefining CONSOLE_PCBIOS in config/console.h solved my problem.