next up previous contents
Next: Build Directory Up: x-kernel Programmer's Manual Previous: Forwarding Control Operations

Configuring a Kernel

 

This section describes how to configure and build an . You will need to substitute the pathname where your system's tree resides for /usr/xkernel in the following.

The configure and build procedure is the same, regardless of whether you are building a user_level, standalone, or simulator . For simplicity, we explain how to build a user_level kernel. Substitute stand_alone or simulator for user_level in the pathnames that follow to build standalone and simulator kernels, respectively.





Larry Peterson
Mon Feb 5 16:32:40 MST 1996