[quote] mbed TLS also ships as part of some Linux distributions, including Debian and Ubuntu. ® [/quote]
AFAICT it doesn't exactly ship with Debian, but it's available in the repositories if you want it.
A more or less routine Debian installation would not have the libmbed* packages installed, and I would hazard a guess that the same applies to Ubuntu and most other Debian forks.