kernel

Update: Whoa! Looks like my instructions only work for 64-bit guests. Scroll down to the bottom for the changes you need to make for a 32-bit Fedora guest. This was not quite as straightforward as I remember it being in Fedora 11. I ran