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 ver -k

B.
fw ctl pstat

C.
fw ctl get kernel

D.
fw kernel