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