Ksched is interrupt driven
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 Mar 2012 23:47:08 +0000 (15:47 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 Mar 2012 23:47:08 +0000 (15:47 -0800)
commit57e8648b23cc92b5a885db1b44c8905a339f6bf5
tree90a248b50f3f4039267659817230ed54f2fa65da
parentccd47b66b4bac27c93d5d12d6f701ad52f16569d
Ksched is interrupt driven

schedule() is called from timer ticks, every 10msec.  It's just an
example of what any ksched can do.
kern/src/manager.c
kern/src/process.c
kern/src/schedule.c