@ewankeep I have a used T430S running OpenBSD that I carry everywhere. T-series ThinkPads are excellent little computers when you can buy them used.