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
Download repository:
zip gz
Files at revision 13:651b5303219e
/Freescale/ default tip
nikos chalikias