The project to migrate krb5kdc to a libverto based main loop is ready
for review. The work is in a github branch of krb5:
https://github.com/npmccallum/krb5-anonsvn/tree/verto