anchor.diff:      // Main Memory Connection
       interface ram = ramClient;
       interface rom = romClient;
  -    // XXX: Currently unattached
  -    interface UncachedMemClient mmio;
  -        interface Get request;
  -            method ActionValue#(UncachedMemReq) get if (False);
  -                return ?;
  -            endmethod
  -        endinterface
  -        interface Put response;
  -            method Action put(UncachedMemResp resp);
  -                noAction;
  -            endmethod
  -        endinterface
  -    endinterface
  -    // XXX: Currently unattached
  -    interface GenericMemServer extmem;
  -        interface Put request;
  -            method Action put(GenericMemReq#(XLEN) r) if (False);
  -                noAction;
  -            endmethod
  -        endinterface
  -        interface Get response;
  -            method ActionValue#(GenericMemResp#(XLEN)) get if (False);
  -                return ?;
  -            endmethod
  -        endinterface
  -    endinterface
  +    interface UncachedMemClient mmio = externalMMIOClient;
  +    interface GenericMemServer extmem = memorySystem.extMemory;
   
       // Interrupts
       method Action triggerExternalInterrupt;
  -        // XXX: implement this
  -        noAction;
  +        extInterruptWire <= True;
       endmethod
   endmodule
   
  
positive.code: import Vector::*;
  
  import ClientServerUtil::*;
  import ServerUtil::*;
  
  import Abstraction::*;
  
negative.code:                     mmcsrs.ipi[0], // inter-process interrupt
                      mmcsrs.timerInterrupt[0], // timer interrupt
                      mmcsrs.timerValue,
                      extInterruptWire, // external interrupt
                      0); // hart ID
  
      // +----------------+ +---------------+
  