# Copyright (C) 2010, Adrian Alonso <aalonso00@gmail.com>
# Copyright (C) 2013, Elvis Dowson <elvis.dowson@gmail.com>
# Released under the MIT license (see packages/COPYING)
#@TYPE: Machine
#@Name: ml405-virtex4-ppc405
#@DESCRIPTION: Machine configuration for the Xilinx ML405 FPGA development platform with a Virtex-4 PowerPC 405 processor (with APU FPU).
# Compatible targets include ML401, ML403, ML405, ML410.

# Specify target cpu
TARGET_CPU  = "405"

# Include Virtex-4 base definitions
include conf/machine/include/virtex4/virtex4-base.inc

# Specify tune file for PowerPC405 processor with APU FPU hardware floating point support
require conf/machine/include/tune-ppc405e.inc

# Specify linux kernel devicetree
KERNEL_DEVICETREE = "${S}/arch/powerpc/boot/dts/virtex405-ml405.dts"

# Specify u-boot machine configuration
UBOOT_MACHINE ?= "ppc405-generic_config"
UBOOT_ENTRYPOINT ?= "0x00000000"
UBOOT_LOADADDRESS ?= "0x00000000"

# Specify the Xilinx board name
XILINX_BOARD = "ml405"

# 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"