How to run Half Life 2 Natively on Jetson Nano

I bought a Jetson Nano SBC few years ago. Just for fun, I tinkered with the board to see if I could make it a bit faster: I tried overclocking the CPUs (some instructions available here) and tried moving the rootfs to an external SSD (some instructions available here). However, I didn't figure out any …