Are you just opposed to the Linux kernel, or just a big fan of FreeBSD, or is there a technical reason why you think a FreeBSD base is better than a Linux base for a project like this?