On Tue, 29 Apr, at 07:56:20AM, H. Peter Anvin wrote: > > I'm wondering if it would be better to organize it into a separate topic > branch. We can still take it through tip, if you want, but it would be > better than putting it all into one tree. Sure, that makes sense. I'll do that. -- Matt Fleming, Intel Open Source Technology Center