I seek info showing the sequence that Debian uses when starting its devices. What URL's have such a list? If I had gotten my machine to boot and completed the install, where would I look to study (and perhaps modify) the boot sequence?