after enqueue()ing a process, only pick_proc() a new one if the current
treea4e4a6ead74a142b997e53e9ed38592c7f32ef46
-rwxr-xr-x 2422 LICENSE
-rwxr-xr-x 2014 Makefile
drwxr-xr-x - boot
drwxr-xr-x - commands
drwxr-xr-x - docs
drwxr-xr-x - drivers
drwxr-xr-x - etc
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - man
drwxr-xr-x - servers
drwxr-xr-x - test
drwxr-xr-x - tools