I see! The device in question that I use is a # https://jolla.com/ which runs # for its Android support (and otherwise it's just plain awesome GNU/Linux, except it uses # instead of X11).