QNX did not know about. Are Minix and Hurd used in production environments? Just curious more than anything.