#@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 SERIAL_CONSOLES ?= "115200;ttyAMA0" UBOOT_MACHINE = "rpi_config" ARMSTUB ?= "armstub.bin"