Newer firmware than in debian6-13-04-2012.img ?

One: Get the 20-04-2012 image. It has SD card fixes.

Besides that you could:

get "git"

get the kernel from the git repository.

get the arm compiler toolchain.

compile the kernel.

get the RPI image tools.

and put the image on the SD card (using windows if you like).

Thanks Roger... but is this the same one which is available on the raspberrypi.org download page, dated 19-04-2012, or if not where can we find the latest update?

David, yes that's the one. I apparently misremembered the date by a day. I remember it as "about a week later than 13-04-2012", so that would be the 19'th or 20th.

Actually I was hoping to use the SD changes that went in yesterday.  Who is responsible for cutting new debian images, and how often were they planning to do so?

Or, I'm happy to cut a new debian image myself, if the guy or gal who did the last ones can let me know how they did them.

Mark, Once you put the image onto an SD card, there is a boot partition that you can access from Linux and Windows. You can modify the kernel commandline for example there.

Also you have simple files that form the "Linux kernel". You can manipulate those with all the tools you have for manipulating files. copy move rename, whatever.

The one you want to change is "kernel.img".

There are more elaborate instructions around for building your own kernel for raspberry pi than my concise version above. Search for "raspberry pi compile kernel git" or something like that.

I googled it for you. Instructions are here.

http://elinux.org/index.php?title=RPi_Kernel_Compilation&oldid=126290

I think the person who is handling the Debian (and other OS) updates is Liam Fraser who is one of the 'gurus' with the Foundation.

Hopefully some more will be appearing soon.

Thanks Roger, but I tried this from Windows already.  First I downloaded the latest kernel.img straight from the firmware gitrepo into the boot partition, but after that the RPi was worse and provided no video output at all.  Then I tried downloading all the contents of the firmware directory from the gitrepo and copying into the boot partition, same result.

Looking here: http://elinux.org/index.php?title=RPi_Kernel_Compilation&oldid=126290#Final_step:_Making_the_.27kernel.img.27_for_your_Pi

...suggests that the Python script imagetool-uncompressed.py needs to me used at some stage during the building of kernel.img, and I don't know whether the version in the gitrepo has this done.

...also says I need to copy the image file into /lib/modules which is not accessible from Windows.  I wonder if I can access /lib/modules if I connected the SD card via a USB card reader to a Linux host?

How does one get in contact with Liam Fraser?

Well, he is on Twitter at http://twitter.com/#!/FraserLiam ... if that's any help!