In case you would still like to consider the Rpi I think you will find these helpful if you haven’t already seen them:
Also my recent post might be of interest in terms of download speed, limitations, etc.
And this guy easily installs IPFire on an RPi 4:
Hope this helps…
1 Like