Source code of rpi-firmware ??

[adambialas]

Where is the source code of kernel downloaded from GIT : Hexxeh/rpi-firmware ?

[jbeale]

If by kernel you mean the Linux Kernel, I assume it is here: https://github.com/raspberrypi/linux
If you mean the bootloader/GPU firmware, as far as I know that is not open-source.

[Licaon_Kter]

Hexxeh script just downloads the latest build from https://github.com/raspberrypi/firmware
the boot/kernel*.img + lib/modules are build from the sources: https://github.com/raspberrypi/linux but the firmware ( /boot/*.elf ) and the custom Broadcom libs/tools are proprietary build

[dhardingham]

Perhaps one day, Broadcom will give us a few more clues as to how the firmware works

[jamesh]

Clues wont really help. There's about 500 man years of software running on the GPU, written by people with intimate knowledge of the hardware. No-one, no matter how clever and even with lots of clues, is going to be able to improve on that!