Falls dein PC nicht zu Leistungsgshungrig ist, kannst du auch ein DC-DC-ATX Netzteil benutzen,
Ich hatte vor einigen Jahren mal so etwas in Betrieb: https://www.reichelt.de/PC-Net…GROUPID=5018&artnr=M2-ATX.
Diese Netzteile gibt es im KFZ- oder im MiniITX-Bereich.