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 kernel

B.
fw ctl get kernel

C.
fw ver -k

D.
fw ctl pstat