And the OS? Debian or Ubuntu i guess doesn’t matter in the end or is there a super duper lightweight linux available for ?