TODO

The following items need some love. Please post to the list if you are interested in helping out:

Real mode support: VT support for real mode is terrible, so we need to do it in software. This means extending the x86 emulator (x86_emulate.c) to handle more instructions, and changing the execution loop to call the emulator for real mode.
Fedora kernel package: packaging kernel modules is a rather arcane stuff. We already have volunteers for openSUSE and Debian; we need packages for Fedora.

The following smaller scale tasks can be a nice entry point to someone wishing to get involved:

Enforce the virtual time stamp counter monotonicity even when a vcpu is migrated to another physical cpu.