> You can't swap it out for another kernel (not without lots of work > anyway) and if you did it would no longer really be FreeBSD but some > new system. Ergo, Darwin ...