I have upgraded from Vivado Design Suite 2015.2 to the 2015.3 release.
However, a previously working Xilkernel application is failing in SDK 2015.3 with the following error:
How can I resolve this?
To address this, right click on the application, and select C/C++ Build Settings.
Under the MicroBlaze gcc compiler select Inferred Options -> Software Platform.
In the Software Platform Inferred Options, enter the following: