[0]: https://wiki.netbsd.org/ports/xen/
[1]: https://en.wikipedia.org/wiki/NPF_(firewall)
[2]: https://en.wikipedia.org/wiki/CHFS
[3]: http://rumpkernel.org/