I have a Raspberry Pi which runs Raspbian Lite; this is basically a port of Debian 10 (Buster) without any of the GUI stuff. I run the RPi headless and SSH to it using Putt
