After doing a discovery network, I'm trying to add the Nokia appliances which are firewalls running checkpoint's firewall-1 and IPSO as operating system, but appmanager complains saying I selected FreeBSD and the detecte system is another one.
The "uname -s" output is IPSO (which is a FreeBSD derivative)