I believe you are refering to the platform Nokia resells Check Point
on. It is FreeBSD-based. As for Linux, Check Point does support Red
Hat, and there is something called "SecurePlatform" which is their own
Linux distribution. Of course, Check Point also supports Windows NT
(4.0 and 2k) and Solaris.