diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-07-05 14:29:57 +0100 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-07-05 14:29:57 +0100 |
commit | cbffd93cada80251a78a6d4178138072f9ebc30f (patch) | |
tree | af9a0e0ab3b769141333aa9e0cdf2ca4038c0d30 /extras/mini-os/kernel.c | |
parent | 5edcddf706ed90180701eac5a15cff6f3cec614d (diff) | |
download | xen-cbffd93cada80251a78a6d4178138072f9ebc30f.tar.gz xen-cbffd93cada80251a78a6d4178138072f9ebc30f.tar.bz2 xen-cbffd93cada80251a78a6d4178138072f9ebc30f.zip |
[MINIOS] Mapping page frames on demand added to the memory management.
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/kernel.c')
-rw-r--r-- | extras/mini-os/kernel.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index 8aefaaa248..d66dd35ab0 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -35,6 +35,7 @@ #include <lib.h> #include <sched.h> #include <xenbus.h> +#include <gnttab.h> #include <xen/features.h> #include <xen/version.h> @@ -177,7 +178,10 @@ void start_kernel(start_info_t *si) /* Init the console driver. */ init_console(); - + + /* Init grant tables */ + init_gnttab(); + /* Init scheduler. */ init_sched(); |