From: Ben Pfaff Date: Sat, 1 Jan 2005 00:38:35 +0000 (+0000) Subject: Talk about write() to stdout more. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8f541a94d9e93c6040a38587ffafdc22f06eca0e;hp=8f541a94d9e93c6040a38587ffafdc22f06eca0e;p=pintos-anon Talk about write() to stdout more. ---