On Wed, 2012-03-14 at 09:56 -0700, Paul E. McKenney wrote:> Does the following work better? It does pass my fake-big-system tests> (more testing in the works).Yup, tip booted fine. Thanks! I'll test, see if it gets upset.-Mike