Resources

General RPi Info

• HIDDEN PAGES!
• RPi Documentation Wiki
• Building Bare Metal ARM Systems with GNU
• Raspberry Pi ARM based bare metal examples
  • github repo by dwelch67
• More "Bare Metal" coding on the RPi
  • contains examples of mailbox, fb, etc.
• Developing a multitasking OS for ARM -- Part 1
• OS X Drivers for Serial Cable

##RPi Kernels

• RPi Plan9 Kernel
• RPi FreeBSD Kernel
  • Not as complete as linux kernel, but better to reference first because it uses the permissive BSD license (as opposed to the LGPL)
• RPi Linux Kernel

##Mailbox

• RPi Mailbox information
• RPi Mailbox example
• RPi Mailbox Properties

##Datasheets

• Arm Technical Reference
• Broadcom BCM2835 ARM Peripherals data sheet

Bootloader

• U-Boot RPi Port
• Booting RPi with U-Boot HOW-TO

RPi GPU & Framebuffer Info

• RPi Framebuffer
• http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/screen01.html
• Broadcom VideoCore IV GPU reverse engineering info
  • github repo
• Raspberry Pi pre-compiled kernel and modules, userspace libraries, and bootloader/GPU firmware
• MIPS & ARM Thumb to RPi GPU machine code translator
  • github repo by dwelch67

Virtual Memory

• Our Memory Management Page
• Enabling the ARM MMU: Theory & Implementation
• Rutger's Memory Management/Paging Info -- contains ARM specifics
• ARM OS Paging Tutorial (in German, but readable with Google Translate)
• MIT's treatment of the subject for their OS class (see chapter 2): http://pdos.csail.mit.edu/6.828/2012/xv6/book-rev7.pdf
• Understanding the Linux Virtual Memory Manager
• James Malloy Tutorial (with x86 impl): Paging & Heap
• Broken Thorn OS VM Tutorial
• TTBR0 and TTBR1 Register Documentation
• Colin's Diagrams
• Colin's Repo

Emulation

• qemu-rpi
  Apparently the emulated chipset parts are:
  • System Timer.
  • UART.
  • Mailbox system.
  • Framebuffer interface.
  • DMA.
  • eMMC SD host controller. No guarantees that this works well! :P

IRC Channels!

... get your lurk on

• #raspberrypi (irc.freenode.net)
• #raspberrypi-osdev (irc.freenode.net)
• #raspberrypi-dev (irc.freenode.net)
• #raspberrypi-internals (irc.freenode.net)

I (Jedd) also have the Arm System Developers book, so just ping me offline if you'd like it.