From 8fc81a92f65e8234763b48ebf62c06206a8848f5 Mon Sep 17 00:00:00 2001
From: Kevin Lange <kevin.lange@dakko.us>
Date: Fri, 21 Oct 2011 13:45:06 -0500
Subject: [PATCH] Vague support for ^L

---
 kernel/core/kprintf.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/kernel/core/kprintf.c b/kernel/core/kprintf.c
index 93bf1e44..db25ac6c 100644
--- a/kernel/core/kprintf.c
+++ b/kernel/core/kprintf.c
@@ -141,11 +141,13 @@ kgets_handler(
 			kwrite(' ');
 			kwrite(0x08);
 			/* Erase the end of the buffer */
-			kgets_buffer[kgets_collected] = '\0';
-			/* The buffer just got on character smaller */
-			--kgets_collected;
+			kgets_buffer[--kgets_collected] = '\0';
 		}
 		return;
+	} else if (ch == '\x0c') {
+		kprintf("\033[J");
+		kprintf(kgets_buffer);
+		return;
 	} else if (ch == '\n') {
 		/* Newline finishes off the kgets() */
 		kwrite('\n');
@@ -155,7 +157,7 @@ kgets_handler(
 	kwrite(ch);
 	if (kgets_collected < kgets_want) {
 		kgets_buffer[kgets_collected] = ch;
-		kgets_collected++;
+		kgets_buffer[++kgets_collected] = '\0';
 	}
 }