diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-06-09 13:26:30 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-06-09 13:26:30 +0100 |
commit | c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20 (patch) | |
tree | ec2dc82b665f6046a46a4c90b5397fe51f17fac4 /extras/mini-os/console | |
parent | 0ba222a6fd5c72bda66eb3678c44fe3e43bbc6c0 (diff) | |
download | xen-c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20.tar.gz xen-c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20.tar.bz2 xen-c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20.zip |
minios: add proper shutdown facilities
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/console')
-rw-r--r-- | extras/mini-os/console/console.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/extras/mini-os/console/console.c b/extras/mini-os/console/console.c index 94379ddb33..3805943465 100644 --- a/extras/mini-os/console/console.c +++ b/extras/mini-os/console/console.c @@ -150,3 +150,8 @@ void init_console(void) /* This is also required to notify the daemon */ printk("done.\n"); } + +void fini_console(void) +{ + /* Destruct the console and get the parameters of the restarted one */ +} |