My Encounter with PicarOS, a Great Linux Distro for Children