Add console

vinc · Nov 1, 2024 · 5751592 · 5751592
1 parent 8d3e5cd
commit 5751592
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git 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
@@ -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