Havn't seem another post here, But sound like on the line for linux 3.7 is raspbery pi bits. Great lets make Rasbery pi open source.
I wonder, is this all the bits of raspery pi changes to the kernel, or just some. Know that changes to the kernel take a bit to get into the main line - so would be good to hear how many of the RPi changes are going main line? Does Dom know?
Anyway sounds great - lets see (or rather I wish all in broadcom all the best) if we (you) can open source all of the changes into the main kernel.