libethdrivers: make zynqmp driver usable

seL4 / util_libs

Other

53 stars 83 forks source link

libethdrivers: make zynqmp driver usable #161

Closed axel-h closed 4 months ago

axel-h commented 1 year ago

fix compatibility string. Seems this changed in at some point in the device tree? Or did this ever work, because that seems the zynq7000 string?
add zynqmp driver to the list of symbols kept, so the linker will not throw this out.

@chrisguikema I'm a bit confused actually, how do things work for you without these changes?

chrisguikema commented 1 year ago

@axel-h Long story short, a lot of our customers require us to OPSEC each commit we want to open-source, which takes a long time. The two commits we released were ones we had approval for, and we've been using the zynqmp ethdrivers way before the driver framework was released. The goal was to have another series of commits made available that make the zynqmp usable, with an example platform, but the OPSEC process is taking a lot longer than anticipated

axel-h commented 4 months ago

Can we merge this or is something blocking this still?