Honored Contributor
Honored ContributorCL_INVALID_BINARY should happen only when there is something wrong with the binary file; if there is something wrong with the code, you will get some error during OpenCL compilation or synthesis/placement/routing. Judging by the resource utilization of the modified hello_world example that you have posted, all of those local memory buffers that you instantiated have been optimized out, that resource utilization is hardly different from the base resource utilization of the BSP.
Are you certain about the sanity of your environment? There might be some disk or memory issue that is corrupting the binary file.
