Other people may have a more definitive answer, but it's my understanding the Nokia IPSO OS is a BSD-based kernel.
.02 Chuck =============================================== To unsubscribe from this mailing list, please see the instructions at http://www.checkpoint.com/services/mailing.html ===============================================
