src/userprog/syscall.h

@@ -3,4 +3,6 @@
 
 void syscall_init (void);
 
-#endif /* userprog/syscall.h */
+void sys_exit (int);
+
+#endif 

src/utils/Pintos.pm

@@ -359,7 +359,7 @@ sub cyl_sectors {
 # Makes sure that the loader is a reasonable size.
 sub read_loader {
     my ($name) = @_;
-    $name = find_file ("loader.bin") if !defined $name;
+    $name = find_file ("/home/dev/uwe_os/pintos_student/src/threads/build/loader.bin") if !defined $name;
     die "Cannot find loader\n" if !defined $name;
 
     my ($handle);

src/utils/pintos

@@ -256,7 +256,7 @@ sub set_disk {
 sub find_disks {
     # Find kernel, if we don't already have one.
     if (!exists $parts{KERNEL}) {
-	my $name = find_file ('kernel.bin');
+	my $name = find_file ('/home/dev/uwe_os/pintos_student/src/threads/build/kernel.bin');
 	die "Cannot find kernel\n" if !defined $name;
 	do_set_part ('KERNEL', 'file', $name);
     }
@@ -929,15 +929,15 @@ sub exec_setitimer {
     exit (1);
 }
 
-sub SIGVTALRM {
+#sub SIGVTALRM {
     use Config;
     my $i = 0;
     foreach my $name (split(' ', $Config{sig_name})) {
 	return $i if $name eq 'VTALRM';
 	$i++;
     }
-    return 0;
-}
+#    return 0;
+#}
 
 # find_in_path ($program)
 #

src/utils/pintos-gdb

 #! /bin/sh
 
 # Path to GDB macros file.  Customize for your site.
-GDBMACROS=/usr/class/cs140/pintos/pintos/src/misc/gdb-macros
+GDBMACROS=/home/dev/uwe_os/pintos_student/src/misc/gdb-macros
 
 # Choose correct GDB.
 if command -v i386-elf-gdb >/dev/null 2>&1; then