On Feb 1, 2011, at 12:48 PM, Dave Kleikamp wrote: > Since other OS's may be running on the other cores don't use tlbivax Are you guys building SMP kernel for use with AMP? Just wondering why you'd be using tlbivax at all. - k