You are using a deprecated Browser. Internet Explorer is no longer supported by Xilinx.
14.1 - EDK/SDK - Linux HelloWorld application targeting Microblaze gets built with CodeSourcery
When creating Linux HelloWorld application targeting MicroBlaze processor, this gets built with CodeSourcery.
This is a known issue that will be fixed in 14.2. To work around this issue, the C/C++ build options will need to be modified to use the correct compiler.