anchor.diff:     interface slave = ctrl_mux;
      interface masters = nil;
      //interface leds = captureRequestInternal.leds;
  +   interface xadc = ic.xadc;
      interface ImageCapturePins pins;
          method Action fmc_video_clk1(Bit#(1) v);
              iclock.inputclock(v);
  
positive.code: interface ImageCapture;
     interface Vector#(6,StdPortal) portals;
     interface ImageCapturePins pins;
  endinterface
  
  module mkImageCapture#(Clock fmc_imageon_clk1)(ImageCapture);
  
negative.code:        interface ImageonSensorPins pins = fromSensor.pins;
         interface ImageonSerdesPins serpins = serdes.pins;
         interface HDMI hdmi = hdmisignals;
     endinterface
     interface XADC             xadc;
          method Bit#(4) gpio;
              return { bozobit, hdmisignals.hdmi_vsync,
                  //hdmisignals.hdmi_data[8], hdmisignals.hdmi_data[0]};
                  hdmisignals.hdmi_hsync, hdmisignals.hdmi_de};
          endmethod
     endinterface
  endmodule
  
  