Hi I know this thread is old, but over the holidays I built an example based on Project F’s HDMI verilog that works on the SEA.
Github is here: https://github.com/smartperson/SEA-HDMI-Output
Video of me getting it working is here: https://youtu.be/CFYJOP-fDbQ
Original library: https://github.com/projf/display_controller