RPi Upstreaming

MOVED: Building an Upstream Kernel for Raspberry Pi
Please see RPi_Upstream_Kernel_Compilation instead.

Contact
You can find us in #raspberrypi-kernel @ Freenode IRC.

Documentation
BCM2835 ARM Peripherals Reference Manual [PDF ]

VideoCore Mailbox Interface [PDF ]