From 51f7a6666027870c24432dcaa56cfc1b4741fdc6 Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Fri, 30 Sep 2011 00:28:33 -0700
Subject: SE/FS: Build the devices in SE mode.

---
 src/dev/x86/pc.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/dev/x86/pc.cc')

diff --git a/src/dev/x86/pc.cc b/src/dev/x86/pc.cc
index 7912a45e1..ec2bb209c 100644
--- a/src/dev/x86/pc.cc
+++ b/src/dev/x86/pc.cc
@@ -56,7 +56,9 @@ Pc::Pc(const Params *p)
 {
     southBridge = NULL;
     // set the back pointer from the system to myself
+#if FULL_SYSTEM //XXX No platform pointer in SE mode.
     system->platform = this;
+#endif
 }
 
 void
-- 
cgit v1.2.3