On Sat, 2010-02-27 at 12:53 +0100, Thomas Gleixner wrote: > On Sat, 27 Feb 2010, Xavier Miller wrote: > > > Hello, > > > > The name is -rt4, not -rt3 > > I pushed out an -rt4 w/o notice in the morning because I forgot to > pick up a few trivial fixes for -rt3. Hmm, I had to comment out a VM_BUG_ON for pkmap_count in mm/highmem.c, looks like pkmap_count is not defined anywhere else? -- Fernando -- 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
