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.