From owner-freebsd-hackers Mon Mar 26 20:11:21 2001 Delivered-To: freebsd-hackers@freebsd.org Received: from fw.wintelcom.net (ns1.wintelcom.net [209.1.153.20]) by hub.freebsd.org (Postfix) with ESMTP id 3A68337B71B for ; Mon, 26 Mar 2001 20:11:19 -0800 (PST) (envelope-from bright@fw.wintelcom.net) Received: (from bright@localhost) by fw.wintelcom.net (8.10.0/8.10.0) id f2R4BH915366; Mon, 26 Mar 2001 20:11:17 -0800 (PST) Date: Mon, 26 Mar 2001 20:11:17 -0800 From: Alfred Perlstein To: "Pedro F. Giffuni" Cc: hackers@FreeBSD.ORG Subject: Re: meta-level compilation: building FreeBSD under Linux, hints?? Message-ID: <20010326201117.O9431@fw.wintelcom.net> References: <3AC01603.938EC871@pitt.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <3AC01603.938EC871@pitt.edu>; from pfg1+@pitt.edu on Mon, Mar 26, 2001 at 11:24:35PM -0500 X-all-your-base: are belong to us. Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG * Pedro F. Giffuni [010326 20:05] wrote: > 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. Can you point at any url that explains what you're talking about? Why exactly can't they run this tool under FreeBSD's linux emulation? -- -Alfred Perlstein - [bright@wintelcom.net|alfred@freebsd.org] Instead of asking why a piece of software is using "1970s technology," start asking why software is ignoring 30 years of accumulated wisdom. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message