aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/include/kernel.h
Commit message (Expand)AuthorAgeFilesLines
* mini-os: Notify shutdown through weak function call instead of wake queueSamuel Thibault2013-01-091-3/+0
* [minios] Add xenbus shutdown control supportSamuel Thibault2012-11-301-0/+3
* minios: add proper shutdown facilitiesKeir Fraser2008-06-091-0/+7