diff --git a/Documentation/how-to-flash.rst b/Documentation/how-to-flash.rst
index 6a67277bd11e72e14df5d06347062cedfc431c3e..42e5b6fd23574fbc4323ffb1a11822c086c5df26 100644
--- a/Documentation/how-to-flash.rst
+++ b/Documentation/how-to-flash.rst
@@ -51,10 +51,15 @@ that and after connecting to card10, you can flash your binary using the
 using your new firmware.
 
 
-.. info::
+.. note::
+
    If OpenOCD was able to connect, but GDB gives you an
-   ``Error erasing flash with vFlashErase packet`` error, issue a ``reset``
-   command, quickly followed by a ``load`` command.
+
+   .. code-block:: text
+
+      Error erasing flash with vFlashErase packet
+
+   error, issue a ``reset`` command, quickly followed by a ``load`` command.
 
    Reason: The Epicardium puts parts of the CPU to sleep and the debugging
    interface is part of that. After a reset the bootloader starts up
diff --git a/Documentation/pycardium/overview.rst b/Documentation/pycardium/overview.rst
index 62e4c25f1ccc12c4bb91dd1d87aaa3d0dfd6e093..28f3f27b8a3cd5af5e579b3679f075a1119c3c7e 100644
--- a/Documentation/pycardium/overview.rst
+++ b/Documentation/pycardium/overview.rst
@@ -24,6 +24,20 @@ hacking!
    from .py files on the filesystem. You have to test new modules using the
    serial console.
 
+Serial Console
+--------------
+If you have a debugger, you can just use the debuggers serial console.
+Otherwise, card10 will open a serial usb-device on its usb-port. On most Linux
+systems this device will be called ``/dev/ttyACM0`` or ``/dev/ttyACM1``.
+
+Choose a terminal-emulator of your liking and open the above mentioned device.
+Baud-rate is 115200.  Some options are:
+
+* **screen**: ``screen /dev/ttyACM0 115200``
+* **picocom**: ``picocom -b 115200 /dev/ttyACM0``
+
+After connecting, reboot card10 and you should see the MicroPython REPL pop up.
+
 .. todo::
 
    Getting Started Guide for people interested in writing Python code.