I own Anbernic RG35XX, which runs the same default os. My tip with this one: don’t bother with the default. There are way better operating systems for it and installing takes like 5 minutes. Although if the hinge snapped it might be a bit too late for this advice