| 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 | |
| 10 | SERIAL_CONSOLE = "115200 ttyAMA0" |
| 11 | |
| 12 | UBOOT_MACHINE = "rpi_config" |
| Patrick Williams | b2e6a9b | 2017-02-23 20:31:26 -0600 | [diff] [blame] | 13 | VC4_CMA_SIZE_raspberrypi ?= "cma-64" |