Re: FreeBSD auf Desktop Rechner

From: Mark Weinem <mark.weinem(at)uni-duisburg.de>
Date: Wed, 18 Feb 2004 14:18:09 +0100

Hi Andreas!

On Tue, 17 Feb 2004, Andreas Braukmann wrote:

> > Leider wird mir daraus nicht klar, was ich (wo) konkret alles aus- bzw.
> > umschalten koennte.
>
> Du baust Dir einen eigenen Kernel, in dessen Konfiguration die
> folgende Optionen *nicht* enthalten sein sollten:
>
> options INVARIANTS
> options INVARIANT_SUPPORT
> options WITNESS
> options WITNESS_SKIPSPIN

lieben Dank, die waren tatsaechlich noch alle drin. Der neue Kernel wird
gerade gebaut.

viele Gruesse, Mark

To Unsubscribe: send mail to majordomo(at)de.FreeBSD.org
with "unsubscribe de-bsd-questions" in the body of the message
Received on Wed 18 Feb 2004 - 14:25:11 CET