Arduino WiFi shield source code?

Is the Arduino WiFi shield’s source code generally available?

If so, where can I go to download it? If not, what are the plans for releasing it?

Just to clarify, I am not talking about the Arduino WiFi library.

I am talking about the source for the code that is running on the AVR of the WiFi shield.

I have attached to the FTDI port of the shield and gotten debug messages.

However, these messages are only of limited use without the source code.

I have encountered some of the WiFi shield problems reported at:

http://code.google.com/p/arduino/issues

… as well as some others.

If I can get the source for the shield, I may be able to diagnose / troubleshoot / correct some of these problems.

Thanks,
--Chris