anchor.diff:  
   typedef enum {RbmIndication, RbmRequest, DmaIndication, DmaConfig} IfcNames deriving (Eq,Bits);
   
  -module [Module] mkPortalTop(PortalTop#(addrWidth,TMul#(32,N),Empty))
  +module [Module] mkPortalTop(PortalTop#(addrWidth,TMul#(32,N),Empty,1))
      provisos (Add#(a__, addrWidth, 40),
   	     Add#(a__, b__, 40),
   	     Add#(addrWidth, c__, 52),
  
positive.code:    
     interface interrupt = getInterruptVector(portals);
     interface slave = ctrl_mux;
     interface master = dma.master;
  
  endmodule : mkPortalTop
  
negative.code:       writeClients = rbm.writeClients;
     end
  
     MemServer#(addrWidth, TMul#(32,N), 1) dma <- mkMemServer(dmaIndicationProxy.ifc, readClients, writeClients);
  
     DmaConfigWrapper dmaConfigWrapper <- mkDmaConfigWrapper(DmaConfig,dma.request);
  
  