[rvz]

Very true. Fuchsia was also initially prototyped with a Linux kernel and well, the rest was 'history'.

[pjmlp]

Note that MBed Linux was created after MBed already existed, they just toyed with the idea of offering MBed userspace on top of Linux.