To enable virtualization, reboot your computer and as soon as it starts, start tapping the F2 and Del keys on your keyboard. One of these keys will typically take you into the BIOS.

The tutorial was later profiled in a February 2018 blog on the Raspberry Pi website, which is an electronics company that sells low-cost mini computers people can use to learn programming.