Our checkpoint device is not clustered, a single deployment in a cloud environment.This will be our first time to upgrade the r80.10 to r80.30 however, we are not sure what sk needs to be followed. We would like to know if there's a software package for r80.30 (management and gateway) that can be downloaded in Checkpoint site. If it's possible to upload the package on the web gaia then eventually smart console will become an r80.30 device including the gateways. Your response is highly appreciated. we need your guidance.