diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-02-09 18:33:32 +0000 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-02-09 18:33:32 +0000 |
| commit | 434a41d81776964364f426e3132489003c05e5df (patch) | |
| tree | 1eb8a6a1846c155e049bf71d6c988fd52b3df458 /extras/mini-os/kernel.c | |
| parent | 8111e0c59583ac278ecd07ca4c6be04d8802e567 (diff) | |
| download | xen-434a41d81776964364f426e3132489003c05e5df.tar.gz xen-434a41d81776964364f426e3132489003c05e5df.tar.bz2 xen-434a41d81776964364f426e3132489003c05e5df.zip | |
mini-os: make frontends and xenbus optional
This adds compile-time logic to disable certain frontends in mini-os:
- pcifront is disabled by default, enabled for ioemu
- blkfront, netfront, fbfront, kbdfront, consfront are enabled by default
- xenbus is required for any frontend, and is enabled by default
If all frontends and xenbus are disabled, mini-os will run without
needing to communicate with xenstore, making it suitable to run the
xenstore daemon. The console frontend is not required for the initial
console, only consoles opened via openpt or ptmx.
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index c8b9b8cd07..a8dfe6d985 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -142,10 +142,6 @@ void stop_kernel(void) /* Reset grant tables */ fini_gnttab(); - /* Reset the console driver. */ - fini_console(NULL); - /* TODO: record new ring mfn & event in start_info */ - /* Reset XenBus */ fini_xenbus(); |