Unlike Nachos, Pintos can run on actual x86 hardware, though it is often run atop an x86 emulator, such as Bochs or QEMU.
Unlike Nachos, Pintos can operate on actual x86 hardware, but often utilizes an x86 emulator such as Bochs or QEMU for execution.