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