Ahhhh, iirc, it’s one he built himself.

It’s actually come up in comics before, more than once if my mind isn’t playing tricks.

I don’t doubt that he would have at least taken lessons from open source type projects if Linux doesn’t directly exist in the comic universe.