vkernel & GSoC, some questions

Matthew Dillon dillon at apollo.backplane.com
Wed Mar 19 22:48:47 UTC 2008

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

					Matthew Dillon 
					<dillon at backplane.com>

More information about the freebsd-hackers mailing list