[anttiok]

There's a growing number of users, but they aren't centrally collected. I've actually thought about creating a "Who uses rump kernels" page, but haven't gotten around to it. No better time than now to do that:

http://wiki.rumpkernel.org/Info%3A-Who-Uses-Rump-Kernels

(don't expect it to be highly populated yet, I just created it and seeded it with the project I'm affiliated with)

[616c]

You do this on your time, so I expect nothing.

Thanks for letting me know. I have to avoid people like you. I have tons of HW and I can never finish it because I drown in all the interesting system design and articles here. GO AWAY! Haha.