Yes, the MAX32600MBED is a MAX32600 mbed enabled platform. The MAX32600MBED data sheet can be found on the product landing page. The product landing page also includes a link to the Arm Mbed MAX32600MBED platform page.