projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add support for "keyboard" input over the serial port.
[pintos-anon]
/
src
/
lib
/
stdio.c
diff --git
a/src/lib/stdio.c
b/src/lib/stdio.c
index e74d5dd3c5b0bf5d6adb22d97699a5a099e9f69b..baefaf0eda12774b36b2aa0eddeb6ad0f87ad20b 100644
(file)
--- a/
src/lib/stdio.c
+++ b/
src/lib/stdio.c
@@
-74,8
+74,7
@@
snprintf (char *buffer, size_t buf_size, const char *format, ...)
/* Writes formatted output to the console.
In the kernel, the console is both the video display and first
serial port.
/* Writes formatted output to the console.
In the kernel, the console is both the video display and first
serial port.
- In userspace, the console is file descriptor 1.
-*/
+ In userspace, the console is file descriptor 1. */
int
printf (const char *format, ...)
{
int
printf (const char *format, ...)
{