well, there is no platform page because the typical board you use for the MSP432 (e.g. the MSP432 Launchpad https://www.ti.com/tool/MSP-EXP432P401R ) does not have the Mbed DAP functionality. TI uses their own debug interface, which supports DAP, but not the mass-storage functionality to flash the board and also not the functionality to auto-detect the device. Both would be crutial for a full Mbed integration.
I am teaching microcontroller classes on a regular basis using the above mentioned MSP432 Launchpad. TI is quite helpful in supporting academic institutions with hardware. Also they have a nice so called “eduational boosterpack” https://www.ti.com/tool/BOOSTXL-EDUMKII , which I definitely need to do s.th. reasonable with my students, because we have no sufficient lab-space at our university. I have written my own C++ -based RTOS for this platform, which works quite well. Last summer a student mentionen MBed OS, because he was doing a project with a STM32 board. So I spend some time to mostly copy-paste my own drivers for GPIO/I2C/SPI etc. and did a MBed port as a little exercise. These drivers all use the hardware directly without TIs so called DriverLib, which I personally do not like very much, because it sometimes obfuscates the functionality of the hardware and is more complicated to use than simply programming the registers. Besides that it has horrible long method names like GPIO_getEnabledInterruptStatus(GPIO_PORT_P6).
Programming a MSP432 launchpad is quite easy using TI’s DSLite tool. I simply build a MBed binary and download it with this tool, which is fast and reliable. If anybody needs help in this area I can provide support.
Yes, if TI would put some effort in MBed OS, there could even be a full support for most of their existing Cortex-M based boards. Most debug interfaces are also based on Cortex-M processors (for the MSP432 launchpad it is a Tiva-C controller). Actually I was thinking about writing another MBed port for Tiva-C,
and then try to build the DAPLink software, which might already support gcc/g++ (formerly only the ARM-compiler was supported). Doing this one could flash the debug interface itself to get a fully MBed-compliant TI microcontroller board. But since TI is obviously not taking any effort in this area, this might be a fantasy forever.