update codes for os course-YAO-class, fall, 2013

code/lab5/kern/mm/kmalloc.c

@@ -186,14 +186,9 @@ static void slob_free(void *block, int size)
 
 
 
-void check_slob(void) {
-  cprintf("check_slob() success\n");
-}
-
 void
 slob_init(void) {
   cprintf("use SLOB allocator\n");
-  check_slob();
 }
 
 inline void 

code/lab5/tools/grade.sh

@@ -338,7 +338,6 @@ default_check() {
     'PDE(001) fac00000-fb000000 00400000 -rw'                   \
     '  |-- PTE(000e0) faf00000-fafe0000 000e0000 urw'           \
     '  |-- PTE(00001) fafeb000-fafec000 00001000 -rw'		\
-    'check_slob() succeeded!'					\
     'check_vma_struct() succeeded!'                             \
     'page fault at 0x00000100: K/W [no page found].'            \
     'check_pgfault() succeeded!'                                \