1#@TYPE: Machine
2#@NAME: RaspberryPi Development Board
3#@DESCRIPTION: Machine configuration for the RaspberryPi http://www.raspberrypi.org/ Board
4
5DEFAULTTUNE ?= "arm1176jzfshf"
6
7require conf/machine/include/tune-arm1176jzf-s.inc
8include conf/machine/include/rpi-base.inc
9
10SDIMG_KERNELIMAGE  ?= "kernel.img"
11UBOOT_MACHINE = "rpi_config"
12SERIAL_CONSOLES ?= "115200;ttyAMA0"
13
14ARMSTUB ?= "armstub.bin"
15