2011/7/21 David Balažic <xerces9@gmail.com>: > That worked, thanks. > > The docs at http://www.debian.org/releases/stable/kfreebsd-amd64/ch04s03.html.en > should be updated to reflect that mini.iso is the only(?) > way to boot from USB stick for kbsd64. I know. Unfortunately we haven't managed to keep up with updating the install guide, a lot of things in it are inaccurate, incomplete or totally incorrect. Would you like to help us? -- Robert Millan