gdunlap/sched-sim.hg
diff options.h @ 7:e274ac3f81ff
c01: Allow wake to preempt running processes
author | George Dunlap <gdunlap@xensource.com> |
---|---|
date | Tue Oct 20 18:00:17 2009 +0100 (2009-10-20) |
parents | 1d7310217c5a |
children |
line diff
author | George Dunlap <gdunlap@xensource.com> |
---|---|
date | Tue Oct 20 18:00:17 2009 +0100 (2009-10-20) |
parents | 1d7310217c5a |
children |