| #@TYPE: Machine | |
| #@NAME: RaspberryPi Development Board | |
| #@DESCRIPTION: Machine configuration for the RaspberryPi http://www.raspberrypi.org/ Board | |
| DEFAULTTUNE ?= "arm1176jzfshf" | |
| require conf/machine/include/tune-arm1176jzf-s.inc | |
| include conf/machine/include/rpi-base.inc | |
| SDIMG_KERNELIMAGE ?= "kernel.img" | |
| UBOOT_MACHINE = "rpi_config" | |
| SERIAL_CONSOLES ?= "115200;ttyAMA0" | |
| ARMSTUB ?= "armstub.bin" |