We would like to announce that we've released the first beta of VisualKernel - our Visual Studio plugin that allows developing and debugging Linux Kernel modules. It automates lots of things that are usually annoying when debugging Linux Kernel modules (e.g. it computes symbol addresses automatically and loads the symbols correctly).
Here's a screenshot of a typical debugging session:
A detailed tutorial on creating and debugging a basic driver can be found here: http://sysprogs.com/VisualKernel/tutorials/kgdb/
I hope you guys will find it useful and would appreciate any feedback from the community.