3 ms·

Thanks for the correction. Indeed, Linmob refers to them as "GNU-like mobile Linux", https://linmob.net/ https://linmob.net/