Matthew Dillon is setting up leaf.dragonflybsd.org to support vkernels, for Google Summer of Code students that are doing kernel work. Mail Matthew with your public key and desired username if you need an account.