OK it's off-topic but enquiring minds want to know... it *seems* (I stress SEEMS) to me that Checkpoint has basically stolen the Linux kernel. They've got a product called "SecurePlatform" which is basically Firewall/1 on a bootable CD, with a custom hardened OS. Well three guesses what OS that is. Yup it's Linux, apparently based off of RedHat with heavy mods. Where's the source? OK I know it's only customers who HAVE to get it under the terms of the GPL but I can't believe none of the customers who bought this product would have put the source up somewhere. So Checkpoint, what's going on? References -- search checkpoint.com for "SecurePlatform" (Produts -> Enterprise). See also http://dir.securepoint.com/Hardening/Linux/ and http://www.ems-global.com/securitynewsletter/secur ityvol2issue9.htm -- search for "checkpoint" on those pages.