#include <string>
#include <vector>
-#include "base/loader/symtab.hh"
#include "base/statistics.hh"
#include "cpu/pc_event.hh"
#include "kern/system_events.hh"
class Platform;
class RemoteGDB;
class GDBListener;
+class SymbolTable;
class ObjectFile;
class ExecContext;
namespace Kernel { class Binning; }
System(Params *p);
~System();
+ void startup();
+
public:
/**
* Returns the addess the kernel starts at.