How do you verify the Check Point kernel running on a firewall?

How do you verify the Check Point kernel running on a firewall?

A.
fw ctl get kernel

B.
fw ctl pstat

C.
fw kernel

D.
fw ver -k