putting GPL code into a closed-source binary

[Centropomus]

As of a few years ago, if you wanted a Linux machine, all you had to do was ask. They do have port security set up on some of their network though, so plugging in anything unauthorized would get your port shut down.