Since it was mentioned on the mailing lists, I’ll mention it here: instructions on building a vkernel are in the Handbook.  I may not have linked that before.