anchor.diff:  
       method Action beginTranslationTable(Bit#(8) index);
       method Action addTranslationEntry(Bit#(20) address, Bit#(12) length); // shift address and length left 12 bits
  -
  -    interface Axi3Client#(32,4,6) m_axi;
  +endinterface
  +
  +interface HdmiDisplayRequest;
  +    interface HdmiControlRequest coreRequest;
  +    interface Axi3Client#(32,32,4,6) m_axi;
       interface HDMI hdmi;
   endinterface
   
  -interface HdmiDisplayIndications;
  +interface HdmiControlIndication;
       method Action vsync(Bit#(64) v);
  +endinterface
  +
  +interface HdmiDisplayIndication;
  +    interface HdmiControlIndication coreIndication;
   endinterface
   
   function Put#(item_t) syncFifoToPut( SyncFIFOIfc#(item_t) f);
  
positive.code:     );
  endfunction
  
  module mkHdmiDisplay#(Clock hdmi_clk, HdmiDisplayIndications indications)(HdmiDisplay);
  
      let busWidthBytes=8;
  
  
negative.code: import FrameBufferBram::*;
  import YUV::*;
  
  interface HdmiControlRequest;
      method Action setPatternReg(Bit#(32) yuv422);
      method Action startFrameBuffer0(Bit#(32) base);
      method Action startFrameBuffer1(Bit#(32) base);
  