anchor.diff:     StdDirectory dir <- mkStdDirectory(ic.portals);
      let ctrl_mux <- mkSlaveMux(dir,ic.portals);
      
  +
  +
  +   
      interface interrupt = getInterruptVector(ic.portals);
      interface slave = ctrl_mux;
      interface masters = nil;
      //interface leds = captureRequestInternal.leds;
      interface FMComms1Pins pins;
  -       method Action fmc_video_clk1(Bit#(1) v);
  -           iclock.inputclock(v);
  -       endmethod
  -       interface FMCOmms1ADCPins adcpins = ic.pins.pins;
  -       interface FMCOmms1ADCPins dacpins = ic.pins.pins;
  +      interface FMCOmms1ADCPins adcpins = adc.pins;
  +      interface FMCOmms1ADCPins dacpins = dac.pins;
  +      method Action io_adc_dco_p(Bit#(1) v);
  +	 adc_dco_p <= v;
  +      endmethod
  +      method Action io_adc_dco_n(Bit#(1) v);
  +	 adc_dco_n <= v;
  +      endmethod
  +      method Action io_dac_dco_p(Bit#(1) v);
  +	 dac_dco_p <= v;
  +      endmethod
  +      method Action io_dac_dco_n(Bit#(1) v);
  +	 dac_dco_n <= v;
  +      endmethod
      endinterface
   endmodule : mkPortalTop
  
positive.code: 
     interface Vector portals = portal_array;
     
     interface FMComms1Pins pins;
         interface FMComms1ADCPins adcpins = fmcomms1adc.pins;
         interface FMComms1DACPins dacpins = fmcomms1dac.pins;
     endinterface
  endmodule
  
  module mkPortalTop(PortalTop#(addrWidth,64,FMComms1Pins,0));
     //Clock defaultClock <- exposeCurrentClock();
     //Reset defaultReset <- exposeCurrentReset();
     B2C1 iclock <- mkB2C1();
     Clock iclock_buf <- mkClockBUFG(clocked_by iclock.c);
  
     FMComms1ADC adc <- mkFMComms1ADC(adc_clk_p, adc_clk_n);
     FMComms1DAC dac <- mkFMComms1DAC(dac_clk_p, dac_clk_n);
  
negative.code: endinterface
  
  module mkFMComms1#(Clock fmc_imageon_clk1)(FMComms1);
  
     // These need to be connected to the clocks for the ADC and DAC
     Wire#(Bit#(1)) adc_dco_p <- mkDWire(0);
     Wire#(Bit#(1)) adc_dco_n <- mkDWire(0);
     Wire#(Bit#(1)) dac_dco_p <- mkDWire(0);
     Wire#(Bit#(1)) dac_dco_n <- mkDWire(0);
  
  
     // instantiate user portals
  