From c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20 Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Mon, 9 Jun 2008 13:26:30 +0100
Subject: minios: add proper shutdown facilities

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---
 extras/mini-os/mm.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'extras/mini-os/mm.c')

diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c
index bc56030a25..fbb155881a 100644
--- a/extras/mini-os/mm.c
+++ b/extras/mini-os/mm.c
@@ -419,6 +419,10 @@ void init_mm(void)
     arch_init_demand_mapping_area(max_pfn);
 }
 
+void fini_mm(void)
+{
+}
+
 void sanity_check(void)
 {
     int x;
-- 
cgit v1.2.3