Correctness issues: - some eflags manipulation incorrectly reset the bit 0x2. - SVM: test, cpu save/restore, SMM save/restore. - x86_64: lcall/ljmp intel/amd differences ? - better code fetch (different exception handling + CS.limit support) - user/kernel PUSHL/POPL in helper.c - add missing cpuid tests - return UD exception if LOCK prefix incorrectly used - test ldt limit < 7 ? - fix some 16 bit sp push/pop overflow (pusha/popa, lcall lret) - full support of segment limit/rights - full x87 exception support - improve x87 bit exactness (use bochs code ?) - DRx register support - CR0.AC emulation - SSE alignment checks - fix SSE min/max with nans Optimizations/Features: - add SVM nested paging support - add VMX support - add AVX support - add SSE5 support - fxsave/fxrstor AMD extensions - improve monitor/mwait support - faster EFLAGS update: consider SZAP, C, O can be updated separately with a bit field in CC_OP and more state variables. - evaluate x87 stack pointer statically - find a way to avoid translating several time the same TB if CR0.TS is set or not.