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