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/mbed-os.lib	Thu Feb 23 15:15:49 2017 +0000
@@ -0,0 +1,1 @@
+https://github.com/ARMmbed/mbed-os/#bcf7085d85b2811b5d68bdda192c754eadfb8f88