diff --git a/doc/devices.md b/doc/devices.md
index de5f5436..2e2de908 100644
--- a/doc/devices.md
+++ b/doc/devices.md
@@ -59,6 +59,12 @@ Changing the system time:
 [580.327629] RTC 2025-01-01 00:00:00 +0000
 ```
 
+## Console Device
+
+Reading `/dev/console` with a 4 bytes buffer will return a character from the
+keyboard or the serial interface. Reading with a larger buffer will return a
+complete line.
+
 ## Network Devices
 
 Opening `/dev/net/tcp` or `/dev/net/udp` with the `OPEN` syscall and the device
diff --git a/www/devices.html b/www/devices.html
index 39d4f7bc..dcb2df64 100644
--- a/www/devices.html
+++ b/www/devices.html
@@ -62,6 +62,12 @@ <h2>Clock Devices</h2>
 [580.327629] RTC 2025-01-01 00:00:00 +0000
 </code></pre>
 
+    <h2>Console Device</h2>
+
+    <p>Reading <code>/dev/console</code> with a 4 bytes buffer will return a character from the
+keyboard or the serial interface. Reading with a larger buffer will return a
+complete line.</p>
+
     <h2>Network Devices</h2>
 
     <p>Opening <code>/dev/net/tcp</code> or <code>/dev/net/udp</code> with the <code>OPEN</code> syscall and the device