There is a third way,  which is to copy the IVI image to a USB stick and boot from it on any Intel-based laptop. Some details here: https://wiki.tizen.org/wiki/IVI/IVI_Installation