From 44fb8b72969a9009fab1944f25b7c27311f33dc5 Mon Sep 17 00:00:00 2001
From: "kaf24@firebug.cl.cam.ac.uk" <kaf24@firebug.cl.cam.ac.uk>
Date: Thu, 9 Mar 2006 15:57:32 +0100
Subject: 64 bit pagetable builder added to mm.c Signed-off-by: Aravindh
 Puthiyaparambil <aravindh.puthiyaparambil@unisys.com> Signed-off-by: Grzegorz
 Milos <gm281@cam.ac.uk>

---
 extras/mini-os/domain_config | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'extras/mini-os/domain_config')

diff --git a/extras/mini-os/domain_config b/extras/mini-os/domain_config
index d6635c88f9..57f909ac5d 100644
--- a/extras/mini-os/domain_config
+++ b/extras/mini-os/domain_config
@@ -15,3 +15,5 @@ memory = 32
 
 # A name for your domain. All domains must have different names.
 name = "Mini-OS"
+
+on_crash = 'destroy'
-- 
cgit v1.2.3