vkernel & GSoC, some questions

[Matthew Dillon]

: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 at backplane.com>