RPi Upstreaming

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

Documentation
BCM2835 ARM Peripherals Reference Manual [PDF ]

VideoCore Mailbox Interface [PDF ]