> メインフレームのOSにLinuxが使われていることは結構あるみたいだけ
れど
ないだろ。