Hi, How do I specify which kernel to use at boot. I understand I need to type "boot myKernel -s", but it is unclear where I type this. While booting on my dec 3000 there is never a pause and prompt for this sort of info (ala lilo/grub). Any sugestions? -matt