Jean-Philippe Ouellet 0f08f44113

Correct serial console device name ...

According to marmarek /dev/ttyS* is the correct device.

I don't have suitable machine on hand to truly confirm, but memory and
docs suggest he's right.

2016-11-20 19:44:22 -05:00

..

automated-tests.md

Move all developer documentation to main index

2016-06-20 13:56:20 -07:00

profiling.md

Move all developer documentation to main index

2016-06-20 13:56:20 -07:00

safe-remote-ttys.md

Correct serial console device name

2016-11-20 19:44:22 -05:00

test-bench.md

Move all developer documentation to main index

2016-06-20 13:56:20 -07:00

vm-interface.md

vm-interface: in the end new meminfo-writer use the same key as the old one

2016-09-15 01:23:21 +02:00

windows-debugging.md

Move all developer documentation to main index

2016-06-20 13:56:20 -07:00