64-bit Fedora

Notes on 64-bit Fedora setup to go here