00:01 <omnitechnomancer> Ah I do desire the hdmi to work at some point

01:52 <omnitechnomancer> How much FPGA space does the HDMI phy interface consume?

07:46 <daveshah> Basic TMDS encoding (ie DVI) is only a few hundred LUTs

07:46 <daveshah> Don't know how much proper HDMI with data islands, audio, etc uses though

08:30 <tnt> The epiphany has a DVI encoder.

08:31 <tnt> what the "hdmi" part of the fpga code does is flexible timing generation and DMA from the zynq memory for the frame buffer. Might also have some color conversion logic in there, can't remember if it's optional or not.

09:19 <daveshah> Oops, I read that as the phy part of hdmi rather than the interface to an external phy

11:17 <omnitechnomancer> It's an analog devices HDMI phy

13:00 <omnitechnomancer> Is there any way to remove missing source files from a vivado project?

15:29 <G33KatWork> omnitechnomancer: I did a lot of zynq stuff in the past. maybe my repo on github helps you somehow. I can build bitstreams, have vivado in a docker container (careful! it's huge) and also build a yocto linux of which I'm really only using the bootloader and the kernel. userland is archlinux arm just like implr mentioned

15:29 <G33KatWork> https://github.com/G33KatWork/zynq

15:30 <G33KatWork> Haven't touched that stuff for 10 months now though

15:30 <G33KatWork> take whatever you need. idgaf about licensing

15:30 <omnitechnomancer> Thanks :)

15:32 <G33KatWork> oh, I am using a fully open source bootflow btw. that might come with a few downsides like the u-boot spl which replaced the xilinx fsbl, doesn't load a bitstream IIRC, so I do this in the main uboot

15:32 <G33KatWork> if you need to bitstream to get that far, that's a problem

15:47 <omnitechnomancer> I don't think I will need a bitstream to get that far, I think everything essential is attached to the zynq hard IOs on that board

15:52 <omnitechnomancer> I might need to figure out how to program the qspi flash on the board though

15:52 <G33KatWork> yeah, I never tried that

16:01 <omnitechnomancer> I think it's strapped to boot off qspi but not sure

16:01 <etrig> what's the advantage of using yocto for just u-boot and kernel?

16:06 <etrig> there were some roadblocks for adapteva to support spl: https://github.com/parallella/parallella-uboot/blob/parallella-next/configs/adapteva_parallella_defconfig#L1

16:12 <G33KatWork> I think it's convenient

16:12 <G33KatWork> and it's reproducible with a single command

16:12 <G33KatWork> you can also use buildroot if that's your thing

16:13 <implr> i also have some stuff in https://github.com/implr/meta-zturn

16:13 <implr> G33KatWork: I see we've both implemented basically the same thing https://github.com/implr/meta-zturn/blob/master/recipes-bsp/platform-init/hdf-platform-init.bb

16:14 <G33KatWork> ¯\_(ツ)_/¯

16:16 <implr> G33KatWork: also huh, you said only using the kernel, but your zynq-image.bb has Stuff

16:16 <G33KatWork> yes, I have an image, but I'm not really using it most of the time

16:17 <implr> ah right

16:17 <implr> because I've been trying to make a bitbake target that rebuilds/deploys a boot chain + kernel and just that

16:17 <implr> and that turns out to be nonobvious

16:17 <implr> or I'm stupid

16:18 <G33KatWork> yeah, just building an image was the path of least resistance

16:18 <G33KatWork> and then I'm just manually copying kernel, loaders and modules into the right places

16:20 <omnitechnomancer> Ah they attached the power management via i2c routing in the PL?