See section 17 for a description of how to build an x-kernel within the Mach kernel and how to establish ROM file options for this platform. Be sure to see appendix C for information on configuring the device driver you wish to use.