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

Revision:
3:6bd3dd3819ff
Parent:
2:9aa761c69da4
Child:
8:bda7e2194577
--- a/mbed-HDK.lbr	Fri Sep 13 17:15:41 2013 +0100
+++ b/mbed-HDK.lbr	Sat Sep 14 09:08:13 2013 +0100
@@ -15034,7 +15034,7 @@
 </device>
 </devices>
 </deviceset>
-<deviceset name="LED" prefix="LED">
+<deviceset name="LED" prefix="LED" uservalue="yes">
 <description>&lt;b&gt;SMD LED&lt;/b&gt;&lt;p&gt;</description>
 <gates>
 <gate name="G$1" symbol="LED" x="0" y="0"/>