Revision tags: xv6-rev11, xv6-rev9, xv6-rev8, xv6-rev7, osdi12-submit, xv6-rev6, xv6-rev5, xv6-2010, xv6-rev4, xv6-rev3, xv6-2008 |
|
#
949352af |
| 12-Oct-2007 |
rsc <rsc> |
Model verifying that wakeup really can be called after release without causing deadlock.
|