The USB-TTL cable I’m provided with doesn’t support Windows 8.x, which is super inconvenient. So I decided to make a virtual machine running Occidentalis so that I don’t have to work on the real Pi.
“Occidentalis” is Adafruit’s Raspberry Pi educational distro. More details can be found here.
Before I made everything from scratch, I did some research and found one article that already discussed emulating RPi on Linux x86-64, and it works.