[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.