Hello, Currently, there is nothing in the boot menu which says which kernel is being used. It'd probably be good to add it, so the user knows for sure what he is installing. Any opinion where that could be added in the menu layout? Maybe "Debian GNU/Linux installer boot menu" instead of just "Installer boot menu"? (and similar for the grub-based menus of kFreeBSD and Hurd). Samuel