To produce a list of mbed devices
Of current interest to me is : 9900
mbedls -l
also check out mbed.com here
| target_id_prefix | platform_name |
|------------------|-----------------------|
| 0001 | LPC2368 |
| 0002 | LPC2368 |
| 0003 | LPC2368 |
| 0004 | LPC2368 |
| 0005 | LPC2368 |