Chapter 8 Configuring the MicroBSD Kernel

Table of Contents

8.1 Synopsis

8.2 Why Build a Custom Kernel?

8.3 Building and Installing a Custom Kernel

8.4 The Configuration File

8.5 Boot time configuration

8.6 If Something Goes Wrong

8.1 Synopsis

The kernel is the core of the MicroBSD operating system. It is responsible for managing memory, enforcing security controls, networking, disk access, and much more. While more and more of MicroBSD becomes dynamically configurable it is still occasionally necessary to reconfigure and recompile your kernel.

After reading this chapter, you will know:

• Why you might need to build a custom kernel.

• How to write a kernel configuration file, or alter an existing configuration file.

• How to use the kernel configuration file to create and build a new kernel.

• How to install the new kernel.

• Boot time configuration

• Getting more verbose output during boot

• How to troubleshoot if things go wrong.

This, and other documents, can be downloaded from MicroBSD.

For questions about MicroBSD, read the documentation before contacting <MicroBSD Support>.
Copyright © 1995-2003 by The FreeBSD Documentation Project, OpenBSD FAQ Copyright © 1998-2003 OpenBSD, Modified for MicroBSD