Re:Why do we use the Linux kernel's TCP stack?
by hannesm on Sunday July 03, 2016 @10:03AM
(#12026082)
hmm, my other OS is MirageOS (https://mirage.io) -- also see https://nqsb.io contains my previous two years of work ;)
I'd rather call it extensive exploration than fuzz testing what is in my mind...
I can't wait to see what you have planned.
I was thinking after I posted my comment, that it'd be cool if someone could produce a fuzz tester that used both the specification, and the fact that you can turn the Linux and NetBSD network stacks into libraries (libOS and rumpkernel respectively) and co-engineer/evolve the spec whilst also finding and fixing bugs in both the network stacks.
Excited by what you'll be up to!