From c767908a67efb7cb45523d1962b83da236472a07 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sat, 24 Aug 2019 00:00:01 +0000
Subject: [PATCH] getting started: bios_one_char -> bios_putc!

---
 README.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.adoc b/README.adoc
index 59a40fb..fb749bf 100644
--- a/README.adoc
+++ b/README.adoc
@@ -39,7 +39,7 @@ Run a given OS:
 
 ....
 ./run min
-./run bios_one_char
+./run bios_putc
 ....
 
 Extensions are ignored for perfect tab completion, so all the following are equivalent: