Debian bug #883089 opened for this issue. Assuming there's a 4.13 or later Debian kernel for alpha available and anyone reading this is brave enough to try it, I'd be interested in knowing if it boots properly. Without a "yes, it works" from someone, I'm extremely reluctant to give it a try myself: been burned too many times trying to boot the Debian kernels on my system :-(. Many thanks in advance for anyone's time and trouble in helping me get to the bottom of this issue. --Bob -- To unsubscribe from this list: send the line "unsubscribe linux-alpha" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
