# Copyright (C) 2012, Elvis Dowson # Released under the MIT license (see packages/COPYING) #@TYPE: Machine #@Name: ml507-virtex5-ppc440 #@DESCRIPTION: Machine configuration for the Xilinx ML507 FPGA development platform with a Virtex-5 PowerPC 440 processor (with APU FPU). include conf/machine/include/virtex5/virtex5-base.inc include conf/machine/include/tune-ppc440e.inc # Specify linux kernel devicetree KERNEL_DEVICETREE = "${S}/arch/powerpc/boot/dts/virtex440-ml507.dts" # Specify u-boot machine configuration UBOOT_MACHINE ?= "ml507_config" UBOOT_ENTRYPOINT ?= "0x00000000" UBOOT_LOADADDRESS ?= "0x00000000" # Specify machine features MACHINE_FEATURES = "kernel26 apm ext2 ext3 vfat ethernet keyboard screen serial" MACHINE_FEATURES_BACKFILL_CONSIDERED = "rtc" # Specify the Xilinx board name XILINX_BOARD = "ml507" # Xilinx EDK override hardware definitions for xilinx-bsp # Include the following environment variables in your local.conf # XILINX_BSP_PATH = "complete path to the Xilinx XPS project" # Specify serial console settings # Don't use tty1 # USE_VT = "0" SERIAL_CONSOLE ?= "115200 ttyUL0" # Device nodes add xsa for (system ace) IMAGE_DEVICE_TABLES = "files/device_table_add-xsa.txt"