From owner-freebsd-hackers@FreeBSD.ORG  Wed Mar 19 22:48:47 2008
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id A658C1065674
	for <freebsd-hackers@freebsd.org>; Wed, 19 Mar 2008 22:48:47 +0000 (UTC)
	(envelope-from dillon@apollo.backplane.com)
Received: from apollo.backplane.com (apollo.backplane.com [216.240.41.2])
	by mx1.freebsd.org (Postfix) with ESMTP id 748758FC1A
	for <freebsd-hackers@freebsd.org>; Wed, 19 Mar 2008 22:48:47 +0000 (UTC)
	(envelope-from dillon@apollo.backplane.com)
Received: from apollo.backplane.com (localhost [127.0.0.1])
	by apollo.backplane.com (8.14.1/8.13.7) with ESMTP id m2JMmkLu045987;
	Wed, 19 Mar 2008 15:48:46 -0700 (PDT)
Received: (from dillon@localhost)
	by apollo.backplane.com (8.14.1/8.13.4/Submit) id m2JMmkEn045986;
	Wed, 19 Mar 2008 15:48:46 -0700 (PDT)
Date: Wed, 19 Mar 2008 15:48:46 -0700 (PDT)
From: Matthew Dillon <dillon@apollo.backplane.com>
Message-Id: <200803192248.m2JMmkEn045986@apollo.backplane.com>
To: walt <w41ter@gmail.com>
References: <200803172158.m2HLwPSI021438@apollo.backplane.com>	<E1JbWLD-000ALT-00.shmukler-mail-ru@f131.mail.ru>
	<200803181806.m2II6OMc031236@apollo.backplane.com>
	<frphq3$vce$1@ger.gmane.org>
Cc: freebsd-hackers@freebsd.org
Subject: Re: vkernel & GSoC, some questions
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 19 Mar 2008 22:48:47 -0000


:Matthew Dillon wrote:
:> :Matt,
:>...
:> :Don't you use something like VMWare for development and debugging?
:
:>      We use vkernel's for development and debugging.  Pretty much everything
:>      except hardware device driver development can be done using a vkernel...
:
:Does that include trying to get rid of the BGL, for example?

    Yah, the SMP stuff works the same in a vkernel as it does in a real
    kernel.  If anything, the vkernel is even more sensitive to conflicts
    since vkernel 'cpus' are threads on the real system and can wind up
    being scheduled as time-share (for example, booting a 4-cpu vkernel
    on a single-cpu platform).

					-Matt
					Matthew Dillon 
					<dillon@backplane.com>