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 more information about the cs50 appliance here!