Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 19 Mar 2008 15:48:46 -0700 (PDT)
From:      Matthew Dillon <dillon@apollo.backplane.com>
To:        walt <w41ter@gmail.com>
Cc:        freebsd-hackers@freebsd.org
Subject:   Re: vkernel & GSoC, some questions
Message-ID:  <200803192248.m2JMmkEn045986@apollo.backplane.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>

next in thread | previous in thread | raw e-mail | index | archive | help

: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>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200803192248.m2JMmkEn045986>