anchor.diff:  import XilinxCells::*;
   import XbsvXilinxCells::*;
   import YUV::*;
  +import PS7LIB :: *;
   
       //interface ImageonVita vita;
           //interface ImageonTopPins toppins;
  
positive.code:    interface interrupt = interrupt_mux;
     interface ctrl = ctrl_mux;
     interface m_axi = null_axi_master;
     interface leds = captureRequestInternal.leds;
  
  endmodule : mkPortalTop
  
negative.code:    
     Vector#(3,StdPortal) portals;
     portals[0] = captureIndicationProxy.portalIfc;
     portals[1] = serdesRequestWrapper.portalIfc; 
     portals[2] = hdmiRequestWrapper.portalIfc; 
     portals[3] = sensorRequestWrapper.portalIfc; 
     let interrupt_mux <- mkInterruptMux(portals);
     
     // instantiate system directory
  