Date: Mon, 30 Jun 2003 09:39:01 -0400 (EDT) From: Jerry McAllister <jerrymc@clunix.cl.msu.edu> To: andrewroland@techie.com (Andrew Roland) Cc: freebsd-questions@freebsd.org Subject: Re: what kernel does freebsd use? Message-ID: <200306301339.h5UDd1JK023840@clunix.cl.msu.edu> In-Reply-To: <20030630004502.3720.qmail@mail.com> from "Andrew Roland" at Jun 29, 2003 06:45:02 PM
next in thread | previous in thread | raw e-mail | index | archive | help
>
> Hello,
>
> I've read that there are multiple kernels for BSD. What does FreeBSD use?
> Can I swap it out for other kernels? Or am I mistaken?
Please break your lines around 72 characters.
Maybe what you have seen is someone writing about creating a new kernel
with something or other added or deleted. This isn't exactly the
same as having multiple kernels that can be switched at weill. It is
just recompiling _THE_ kernel with different options compiled in or out
as the case may be. Some of those options are support for different
peripherals, such as NIC cards, USB, etc. See the file
/usr/src/sys/i386/conf/LINT
for many many more options.
Once you build a new kernel with the options you want you put the
new kernel which is in a file named 'kernel' in to the root
directory (eg /kernel) and reboot. In general, you cannot
change the kernel without rebooting and replacing that kernel
file, although there are boot time options you can also select.
Check the handbook, the archives, the man pages, etc for more
complete information about kernel options and building new kernels.
////jerry
>
> Thanks
>
>
> Andrew
> --
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200306301339.h5UDd1JK023840>