Is the NetBSD port dead? And if it's not, what's the name of the kernel packages? Does the port use GNU libc? (Please Cc: me on replies as I'm not subscribed to the mailing list.)