How to add a new OS

Hi,

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)

How can I add these devices?

Any help would be appreciated.

Thx,

Josep