summaryrefslogtreecommitdiff
path: root/spinp
AgeCommit message (Collapse)AuthorFilesLines
2019-07-24Delete a few other no-longer relevant filesFrans Kaashoek1-16/+0
2007-10-12Model verifying that wakeup reallyrsc1-0/+16
can be called after release without causing deadlock.