However the kernel situation wasn't great the last time I went down that path. Lots of monkey patches, shell scripts and blobs and crap to compile from scratch, old kernel versions, hardcoded virtual memory limits, etc. I haven't touched the vendor-image provided Debian since installing because I'm a bit afraid. Maybe I should poke at it again soon.
More than a laptop what I want is this chip in a Mini-ITX format in an affordable price bracket. (There's the "Firefly" one but it's $800+ USD for the 32GB model, which is kind of insane.) It makes a great low power server.
EDIT: I want to buy, can't find a way :-)
https://cdn.cnx-software.com/wp-content/uploads/2023/08/Rock...
https://www.cool-pi.com/topic/384/cool-pi-arm-notebook-previ...