From owner-freebsd-hackers  Mon Mar 26 20: 5:31 2001
Delivered-To: freebsd-hackers@freebsd.org
Received: from mb1i0.ns.pitt.edu (mb1i0.ns.pitt.edu [136.142.186.35])
	by hub.freebsd.org (Postfix) with ESMTP id E9B7137B718
	for <hackers@FreeBSD.org>; Mon, 26 Mar 2001 20:05:29 -0800 (PST)
	(envelope-from pfg1+@pitt.edu)
Received: from pitt.edu ("port 1413"@[136.142.89.21])
 by pitt.edu (PMDF V5.2-32 #41462)
 with ESMTP id <01K1O4F7K94O0000AC@mb1i0.ns.pitt.edu> for hackers@FreeBSD.org;
 Mon, 26 Mar 2001 23:05:28 EST
Date: Mon, 26 Mar 2001 23:24:35 -0500
From: "Pedro F. Giffuni" <pfg1+@pitt.edu>
Subject: meta-level compilation: building FreeBSD under Linux, hints??
To: hackers@FreeBSD.org
Message-id: <3AC01603.938EC871@pitt.edu>
Organization: University of Pittsburgh
MIME-version: 1.0
X-Mailer: Mozilla 4.76 [en] (Win98; U)
Content-type: text/plain; charset=us-ascii
Content-transfer-encoding: 7bit
X-Accept-Language: en,pdf,es-CO
Sender: owner-freebsd-hackers@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.ORG

Hi guys,

Anyone has hints on how to configure a FreeBSD kernel under linux? The
linux weekly news mentioned that the Stanford guys have a nifty kernel
analysis tool. I contacted them and they are very interested in
passing FreeBSD through it, but they can't move from linux right now
and our "config" is giving them problems.

FWIW, they already passed OpenBSD succesfully.

cheers,

     Pedro.

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message