2 * Xilfpga platform setup
4 * Copyright (C) 2015 Imagination Technologies
5 * Author: Zubair Lutfullah Kakakhel <Zubair.Kakakhel@imgtec.com>
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms and conditions of the GNU General Public License,
9 * version 2, as published by the Free Software Foundation.
12 #include <linux/of_fdt.h>
16 #define XILFPGA_UART_BASE 0xb0401000
18 const char *get_system_type(void)
23 void __init
plat_mem_setup(void)
25 __dt_setup_arch(__dtb_start
);
26 strlcpy(arcs_cmdline
, boot_command_line
, COMMAND_LINE_SIZE
);
29 void __init
prom_init(void)
31 setup_8250_early_printk_port(XILFPGA_UART_BASE
, 2, 50000);
34 void __init
prom_free_prom_memory(void)
38 void __init
device_tree_init(void)
40 if (!initial_boot_params
)
43 unflatten_and_copy_device_tree();