mbed-HDK used 'as is' for n-U35 board. Just flash the lpc11u35_lpc1768_if_mbed.bin file to LPC11U35. It is in the LPC1768 directory, inside NXP directory

Fork of mbed-HDK by Mbed

NXP/LPC812M10/LPC812M10.sch/shortlog@2c3e1894d039: not found in manifest