At least v86 supports 32 bit x86 OSes too.