mmu_t* debug_mmu; // debug port into main memory
std::vector<processor_t*> procs;
+ processor_t* get_core(const std::string& i);
void step(size_t n); // step through simulation
static const size_t INTERLEAVE = 5000;
static const size_t INSNS_PER_RTC_TICK = 100; // 10 MHz clock for 1 BIPS core