diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-18 13:35:05 +0000 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-18 13:35:05 +0000 |
| commit | 52bbc0f440116520406e4bd36fa8ad42a0589630 (patch) | |
| tree | ceeae2dbd79c1f1d7a01553e684ac9d6458305c4 /extras/mini-os/sched.c | |
| parent | be33e2333ab84639e7e4277b5a9bf59a605ed870 (diff) | |
| download | xen-52bbc0f440116520406e4bd36fa8ad42a0589630.tar.gz xen-52bbc0f440116520406e4bd36fa8ad42a0589630.tar.bz2 xen-52bbc0f440116520406e4bd36fa8ad42a0589630.zip | |
qemu-dm: Nicely terminate the device model script, to let it properly
clean resources.
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/sched.c')
0 files changed, 0 insertions, 0 deletions