From Manuals
Offline Toolchains
Keil MDK
GCC-ARM
Rebuilding mbed Libraries
python workspace_tools/build.py -v -r -m LPC4330_M4 -t ARM
python workspace_tools/build.py -v -r -m LPC4330_M4 -t GCC_ARM
Keil MDK with Library Source
NEXT: Hardware
PREVIOUS: Getting Started