Looking at http://nyftp.netbsd.org/pub/NetBSD-daily/netbsd-7/201412042050Z/amd64/binary/sets/
you can see: kern-DRMKMS.tgz 04-Dec-2014 21:48 7434kB kern-GENERIC.tgz 04-Dec-2014 21:48 6283kB kern-XEN3_DOM0.tgz 04-Dec-2014 21:48 5186kB kern-XEN3_DOMU.tgz 04-Dec-2014 21:48 2110kB and in the ../kernel dir: netbsd-DRMKMS.gz 04-Dec-2014 21:48 7434kB netbsd-GENERIC.gz 04-Dec-2014 21:48 6283kB netbsd-GENERIC.symbols.gz 04-Dec-2014 21:48 307kB netbsd-INSTALL.gz 04-Dec-2014 21:48 6458kB netbsd-INSTALL.symbols.gz 04-Dec-2014 21:48 301kB netbsd-INSTALL_XEN3_DOMU.gz 04-Dec-2014 21:48 3282kB netbsd-XEN3_DOM0.gz 04-Dec-2014 21:48 5186kB netbsd-XEN3_DOMU.gz 04-Dec-2014 21:48 2110kB So this all looks fine to me. Martin