If I try and build the FPGA examples for the EOS S3 using the QORK-SDK, the build fails as reported by others here. I have been able to build the single trivial example supplied with the F4PGA tools, but the example is so trivial as to be uninteresting. Trying to build the examples from the QORK-SDK...