Re: vkernel & GSoC, some questions

: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>
_______________________________________________
freebsd-hackers@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org"