I worked for the DOD, and we used hardened RH servers, accessed through jump boxes/Putty, and Windows machines, and at least one Solaris box, though I never had

I worked for the DOD, and we used hardened RH servers, accessed through jump boxes/Putty, and Windows machines, and at least one Solaris box, though I never had a handle on what that was for.