1This contains section 9 of the online manual pages for kernel programming, 2which describe APIs available for writing device drivers and other parts 3of the kernel. 4