1. Introduction to the NetBSD kernelMahendra [email protected]://www.infosys.comThis work is licensed under a Creative Commons Licensehttp://creativecommons.org/licenses/by-sa/2.5/…