[0x420]

I was being facetious. It's pretty clear they're running Arch; it says so several times in the image.