From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 11 Sep 2004 23:35:13 +0000 (+0000)
Subject: Do console locking.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=b042250507edf37e2d610aa202008e715aa0db8e

Do console locking.
Rename printf.c to console.c to better explain its function.
Move puts() from lib to lib/{user,kernel} so it can take console lock.
---

diff --git a/src/Makefile.build b/src/Makefile.build
index e772300..0293a0f 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -46,7 +46,7 @@ lib_SRC += lib/string.c		# String functions.
 lib_kernel_SRC += lib/kernel/list.c	# Doubly-linked lists.
 lib_kernel_SRC += lib/kernel/bitmap.c	# Bitmaps.
 lib_kernel_SRC += lib/kernel/hash.c	# Hash tables.
-lib_kernel_SRC += lib/kernel/printf.c	# Kernel printf().
+lib_kernel_SRC += lib/kernel/console.c	# printf(), putchar().
 
 # Filesystem code.
 filesys_SRC  = filesys/filesys.c	# Filesystem core.