>>I'm not objecting to the fact that "mini" uses an older kernel; but >>I object rather strongly to this being completely undocumented. > Which mini image? A URL would be handy, as I'm not sure what you might > be using. http://http.us.debian.org/debian/dists/sid/main/installer-amd64/current/images/netboot/mini.iso --jch