Unmodified blinky example for Nucleo F767ZI. When exporting the project with Export Target: NUCLEO-F767ZI, Export Toolchain: GCC (ARM Embedded), Export All Files: any, an alert is displayed: "An error occured during export. Please contact support." No file is downloaded.

Revision:
0:e75f32a698b8
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Thu Feb 23 15:15:49 2017 +0000
@@ -0,0 +1,13 @@
+#include "mbed.h"
+
+DigitalOut led1(LED1);
+
+// main() runs in its own thread in the OS
+// (note the calls to wait below for delays)
+int main() {
+    while (true) {
+        led1 = !led1;
+        wait(0.5);
+    }
+}
+