This section describes how to configure and build an x-kernel . You will need to substitute the pathname where your system's x-kernel tree resides for /usr/xkernel in the following.
The x-kernel configure and build procedure is the same, regardless of whether you are building a user_level, standalone, or simulator x-kernel . 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.