Comment by kj4ips

They have a Ubuntu derivative called DGX OS, that they use on their current lines.