The mbed Software Development Kit (SDK) is a C/C++ microcontroller software platform relied upon by tens of thousands of developers to build projects fast.
The Mbed hardware development kit (HDK) is designed for OEMs, and provides information to build custom hardware to support Mbed OS. This consists of interface firmware and schematics that can be used to easily create development boards, OEM modules and re-programmable products suitable for production.