1 files changed, 4 insertions, 0 deletions
diff --git a/dev/console.hh b/dev/console.hh
index d2bba4612..703d05d51 100644
--- a/dev/console.hh
+++ b/dev/console.hh
@@ -103,6 +103,8 @@ class SimConsole : public SimObject
 
     // interrupt handle
     IntrControl *intr;
+    // Platform so we can post interrupts
+    Platform    *platform;
 
   public:
     /////////////////
@@ -143,6 +145,8 @@ class SimConsole : public SimObject
     void initInt(IntrControl *i);
     void setInt(int bits);
 
+    void setPlatform(Platform *p);
+
     virtual void serialize(std::ostream &os);
     virtual void unserialize(Checkpoint *cp, const std::string &section);
 };