Comment by rys

What about the PlayStation OS, which is reportedly based on FreeBSD?