Add signal support to our basic thread0 scheduler
authorKevin Klues <klueska@cs.berkeley.edu>
Wed, 11 Nov 2015 08:43:59 +0000 (00:43 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 16 Nov 2015 23:15:03 +0000 (15:15 -0800)
commitbde00f5648a41dbb91a6725067f97882dcf92380
tree89fe83d213c69112a473c09bcb3c255a4f623d12
parent1a1c326edb336bbe9f026a8c7b38b89c9a3c6023
Add signal support to our basic thread0 scheduler

As part of this, I needed to add an implementation of thread_paused()
since the signal stuff relies on this.  Since it would do nothing other
than call thread0_thread_runnable, I just reuse this function directly
in the function pointer table.

Signed-off-by: Kevin Klues <klueska@cs.berkeley.edu>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/thread0_sched.c