/**
 * \defgroup platform \os platforms
 */

/**
 * \addtogroup cc2538dk The cc2538 Development Kit platform
 * \ingroup platform
 */

/**
 * \addtogroup cooja COOJA network simulator node
 * \ingroup platform
 */

/**
 * \addtogroup exp5438 MSP430F5438 Experimenter Board
 * \ingroup platform
 */

/**
 * \addtogroup jn516x The JN516x Board
 * \ingroup platform
 */

/**
 * \addtogroup native_platform Native platform
 * \ingroup platform
 */

/**
 * \addtogroup nrf52dk nRF52 Development Kit
 * \ingroup platform
 */