-- File: [Indigo]<Sakura>Dragon>Dragon7.config
-- This is two processors and two caches simulation
-- 23-Mar-82 12:46:53 

Dragon7: CONFIGURATION
  IMPORTS ConvertUnsafe, Inline, SakuraRT, SimIO
  CONTROL DragonImpl1 = {
  
  p1: DragonProcessor ← DragonProcessorImpl8[c1, SakuraRT, SimIO];
  
  p2: DragonProcessor ← DragonProcessorImpl9[c2, SakuraRT, SimIO];
  
  DragonImpl1[DragonArbiter1, c1, c2, DragonClock, DragonMap, DragonMemory, p1, 
    p2, SakuraRT, SimIO];
  
  c1: DragonCache ← DragonCacheImpl[ConvertUnsafe, Inline, SakuraRT, SimIO];
  
  c2: DragonCache ← DragonCacheImpl1[ConvertUnsafe, Inline, SakuraRT, SimIO];
  
  DragonArbiterImpl1;
  
  DragonMapImpl;
  
  DragonMemoryImpl2;
  
  DragonClockImpl;
  
}.