PIX OS is the OS. It's not running on top of anything. PIX OS is it's own man so to speak. (BTW - I have booted an FBSD kernel on PIX hardware before ;) )
This archive was generated by hypermail 2b29 : Sun Aug 04 2002 - 04:12:24 EDT