On Dec 3, 2012, at 8:43 AM, Marcus Shawcroft <marcus.shawcr...@arm.com> wrote: > Mike, Are you happy to go with the proposal from James or would like to give > folk more time to think this one over?
Good to go. If people want to improve it, if they see a way, then can submit a patch anytime they want. I didn't see anyone lay down a clearly better way to do this.
