On Thu, 2012-07-19 at 15:51 +0200, Mike Galbraith wrote: > Every kernel I've fed you script to has died sooner or later, so I wish > him fair sailing. Here there be sea monsters ;-) I'm curious. Can my script bring down a non-rt kernel? -- Steve -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
