I am trying to understand how and when the kernel sources for the Raspberry Pi are updated.
Currently the version for the kernel sources on github is 3.1.9. But when are software patches applied for this kernel, or when will a new kernel release become available?
So far, I understood that the community will work on patches for the kernel, for example, SPI support. Chris Boot is working on patches for SPI http://www.bootc.net/projects/raspberry-pi-kernel/ but when will his patches be applied to the kernel on github? Is there anything known about the the update schedule for the Raspberry Pi kernel?