Hi Ard,<br /><br />I have uploaded Intel Ethernet UNDI driver's open source code from latest Intel Ethernet driver's release to edk2-staging.<br /><a href="https://github.com/tianocore/edk2-staging/tree/Intel_UNDI">https://github.com/tianocore/edk2-staging/tree/Intel_UNDI</a><br /><br />It should contain the fixes for ARM/GCC build.<br /><br />Thanks,<br />Maciej