| Patrick Williams | 8b8bc41 | 2016-08-17 15:02:23 -0500 | [diff] [blame] | 1 | #@TYPE: Machine |
| 2 | #@NAME: RaspberryPi Development Board |
| 3 | #@DESCRIPTION: Machine configuration for the RaspberryPi http://www.raspberrypi.org/ Board |
| 4 | |
| 5 | DEFAULTTUNE ?= "arm1176jzfshf" |
| 6 | |
| 7 | require conf/machine/include/tune-arm1176jzf-s.inc |
| 8 | include conf/machine/include/rpi-base.inc |
| 9 | |
| Andrew Geissler | 87f5cff | 2022-09-30 13:13:31 -0500 | [diff] [blame] | 10 | SDIMG_KERNELIMAGE ?= "kernel.img" |
| Patrick Williams | 8b8bc41 | 2016-08-17 15:02:23 -0500 | [diff] [blame] | 11 | UBOOT_MACHINE = "rpi_config" |
| Andrew Geissler | 87f5cff | 2022-09-30 13:13:31 -0500 | [diff] [blame] | 12 | SERIAL_CONSOLES ?= "115200;ttyAMA0" |
| Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 13 | |
| 14 | ARMSTUB ?= "armstub.bin" |