I am working on Raspberry PI OS mod for kids - https://luminum.tech/ I have one user (my kid). The core of the idea is to have one no-limit device at home that is dedicated to learning and not games.