Mobian, PureOS, postmarketOS already exist. Sent from my Librem 5.