From 431c40e275a5055d9f144de03dbc8cfc90ed3f6e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 24 Nov 2020 01:33:01 +0100
Subject: add kernel-rs

---
 src/userprog/syscall.c | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

(limited to 'src/userprog')

diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c
index 4d46978..ced27aa 100644
--- a/src/userprog/syscall.c
+++ b/src/userprog/syscall.c
@@ -41,21 +41,21 @@ const int argc[] = {
   0
 };
 
-static void
-syscall_handler (struct intr_frame *f) 
-{
-  int32_t* esp = (int32_t*)f->esp;
-  
-  switch ( 0 /* retrive syscall number */ )
-  {
-    default:
-    {
-      printf ("Executed an unknown system call!\n");
-      
-      printf ("Stack top + 0: %d\n", esp[0]);
-      printf ("Stack top + 1: %d\n", esp[1]);
-      
-      thread_exit ();
-    }
-  }
-}
+//static void
+//syscall_handler (struct intr_frame *f) 
+//{
+//  int32_t* esp = (int32_t*)f->esp;
+//  
+//  switch ( 0 /* retrive syscall number */ )
+//  {
+//    default:
+//    {
+//      printf ("Executed an unknown system call!\n");
+//      
+//      printf ("Stack top + 0: %d\n", esp[0]);
+//      printf ("Stack top + 1: %d\n", esp[1]);
+//      
+//      thread_exit ();
+//    }
+//  }
+//}
-- 
cgit v1.2.1