Just thought I’d share. Probably nothing new or fancy, but may help some of you find a way to repurpose devices that aren’t worth repairing into home servers or something: e.g. op5 I’ve used has better CPU compared to raspberry pi 4, can run linux (postmarketos, albeit with some caveats), and costs less if bought with broken display (or nothing if you have one lying around)