It is no longer necessary to specify ``options LINUX'' or ``options COMPAT_LINUX''. Linux emulation is done with an LKM (``Loadable Kernel Module'') so it can be installed on the fly without having to reboot. You will need the following things in your startup files, however:
linux_enable=YES
# Start the Linux binary emulation if requested.
if [ "X${linux_enable}" = X"YES" ]; then
echo -n ' linux'; linux > /dev/null 2>&1
fi
If you want to verify it is running, modstat will do that:
% modstat
Type Id Off Loadaddr Size Info Rev Module Name
EXEC 0 4 f09e6000 001c f09ec010 1 linux_mod
%
However, there have been reports that this fails on some 2.2-RELEASE and
later systems. If for some reason you cannot load the linux
LKM, then statically link the emulator in the kernel by adding
options LINUX
to your kernel config file. Then run config and install the new
kernel as described in the
kernel configuration section.