Also to note, ARM toyed with the idea of using a Linux distribution as alternative to MBed, but it was short love, it is already dead, it only lasted one release.
https://os.mbed.com/docs/mbed-linux-os/deprecated-product/we...
Very true. Fuchsia was also initially prototyped with a Linux kernel and well, the rest was 'history'.
Well [0]
[0] https://github.com/ARMmbed/mbed-os