Well, check it over again... 

Checkpoint FW-1 runs on Solaris 7 (32-bit). If installed as 64 bit then boot with the 32 bit option. 

> Checkpoint FW-1 - currently only supported on Solaris 2.6

Spiros