The RP1 has two Cortex M3 cores and a PIO core, and is responsible for the GPIO pins. So I think it already has something close to what you want.
There are a good few nuggets of gold from Raspberry Pi engineers in the comments on the announcement blog post