On Mon, 12 Feb 2007, Karel Kulhavy wrote: > Hello > > How do I figure out if my kernel was compiled with COMPAT_LINUX option or not? > I didn't compile it. I put "COMPAT_LINUX openbsd kernel" into google but > didn't > find anything useful in the first several pages. > > I have 4.0 on i386 installed from a CD it must be running the default kernel.
It depends on platform.
$ grep COMPAT_LINUX /usr/src/sys/arch/*/conf/GENERIC
-Otto
