2005-02-27 Yoshinori K. Okuji <okuji@enbug.org>

[grub2.git] / kern / loader.c

diff --git a/kern/loader.c b/kern/loader.c
index 2c1dbe2ed912512c6b470062a676ec4a3cb3a66f..772ca66b99d9830c842f3243cb73a608beb6e577 100644 (file)
--- a/kern/loader.c
+++ b/kern/loader.c
@@ -21,6 +21,7 @@
 #include <grub/misc.h>
 #include <grub/mm.h>
 #include <grub/err.h>
+#include <grub/kernel.h>
 
 static grub_err_t (*grub_loader_boot_func) (void);
 static grub_err_t (*grub_loader_unload_func) (void);
@@ -64,6 +65,8 @@ grub_loader_boot (void)
   if (! grub_loader_loaded)
     return grub_error (GRUB_ERR_NO_KERNEL, "no loaded kernel");
 
+  grub_machine_fini ();
+  
   return (grub_loader_boot_func) ();
 }