Fernando, On Tue, 2 Mar 2010, Fernando Lopez-Lezcano wrote: > 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? yuck, did not notice due to CONFIG_VM_DEBUG=n. Will fix. Thanks, tglx -- 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
