Definitely go with the Steam Deck. It’s literally a portable pc which you can turn adhoc into a workstation, plug into a TV for sofa gaming and it’s really really bang for buck. The performance is amazing, the community caring and it runs on Linux.