Ah, so you are willing to help us sort out which kernel to spend effort on, to develop the reasons and arguments why we should prefer that one rather than the other? Great, let's get to it.
Fine, I'll bite the bait. Please hold while I write the mail (will take a bit of time). _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
