Redo and improve thread scheduling startup.
[pintos-anon] / src / threads /
drwxr-xr-x   ..
-rw-r--r-- 29 Makefile
drwxr-xr-x - build
-rw-r--r-- 4740 init.c
-rw-r--r-- 150 init.h
-rw-r--r-- 11724 interrupt.c
-rw-r--r-- 2157 interrupt.h
-rw-r--r-- 618 intr-stubs.h
-rwxr-xr-x 912 intr-stubs.pl
-rw-r--r-- 3130 io.h
-rw-r--r-- 559 kernel.lds.S
-rw-r--r-- 6057 loader.S
-rw-r--r-- 1344 loader.h
-rw-r--r-- 5389 malloc.c
-rw-r--r-- 261 malloc.h
-rw-r--r-- 2642 mmu.h
-rw-r--r-- 4634 paging.c
-rw-r--r-- 586 paging.h
-rw-r--r-- 1959 palloc.c
-rw-r--r-- 327 palloc.h
-rw-r--r-- 231 start.S
-rw-r--r-- 926 switch.S
-rw-r--r-- 1116 switch.h
-rw-r--r-- 8502 synch.c
-rw-r--r-- 1076 synch.h
-rw-r--r-- 11073 thread.c
-rw-r--r-- 1355 thread.h