The appliance is using a 32-bit Fedora-based OS.
Even with hardware virtualization enabled, though, virtual machines might still feel slow if your computer is a few years old, has a CPU that’s only 1GHz or so, or has only 1GB or so of RAM.
You can find all themore information about the cs50 appliance here!