vkernel & GSoC, some questions

walt w41ter at gmail.com
Tue Mar 18 23:04:46 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?

More information about the freebsd-hackers mailing list