1 files changed, 4 insertions, 0 deletions
diff --git a/sim/system.hh b/sim/system.hh
index 05b97ad62..5294f417e 100644
--- a/sim/system.hh
+++ b/sim/system.hh
@@ -64,6 +64,9 @@ class System : public SimObject
     /** console symbol table */
     SymbolTable *consoleSymtab;
 
+    /** pal symbol table */
+    SymbolTable *palSymtab;
+
     /** Object pointer for the kernel code */
     ObjectFile *kernel;
 
@@ -103,6 +106,7 @@ class System : public SimObject
         uint64_t init_param;
         bool bin;
         std::vector<std::string> binned_fns;
+        bool bin_int;
 
         std::string kernel_path;
         std::string console_path;