Bochs
Something you can use to run your kernels. A sample kernel.
VMware
Virtual machine manager to run kernels. Installed on kafi and saveri machines for now. Will be installed on more machines soon. To run, type 'vmware' on these 2 machines, or download VMware management console from the VMware website. Download the client package and run on any machine using kafi,saveri,abhogi and chakravaham as servers. a local copy is here(IITD only).