The @file{src/examples} directory contains a few sample user
programs. The @file{Makefile} in this directory
-compiles the provided examples, and you can edit it
+compiles the provided examples, and you can edit it to
compile your own programs as well. Some of the example programs will
only work once projects 3 or 4 have been implemented.
to implement this.
The code segment in Pintos starts at user virtual address
-@t{0x08084000}, approximately 128 MB from the bottom of the address
+@t{0x08048000}, approximately 128 MB from the bottom of the address
space. This value is specified in @bibref{SysV-i386} and has no deep
significance.
@file{lib/syscall-nr.h}:
@deftypefn {System Call} void halt (void)
-Terminates Pintos by calling @func{power_off} (declared in
-@file{threads/init.h}). This should be seldom used, because you lose
+Terminates Pintos by calling @func{shutdown_power_off} (declared in
+@file{devices/shutdown.h}). This should be seldom used, because you lose
some information about possible deadlock situations, etc.
@end deftypefn