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>
13 #include <linux/of_platform.h>
17 #define XILFPGA_UART_BASE 0xb0401000
19 const char *get_system_type(void)
24 void __init
plat_mem_setup(void)
26 __dt_setup_arch(__dtb_start
);
27 strlcpy(arcs_cmdline
, boot_command_line
, COMMAND_LINE_SIZE
);
30 void __init
prom_init(void)
32 setup_8250_early_printk_port(XILFPGA_UART_BASE
, 2, 50000);
35 void __init
prom_free_prom_memory(void)
39 void __init
device_tree_init(void)
41 if (!initial_boot_params
)
44 unflatten_and_copy_device_tree();
47 static int __init
plat_of_setup(void)
49 if (!of_have_populated_dt())
50 panic("Device tree not present");
52 if (of_platform_populate(NULL
, of_default_bus_match_table
, NULL
, NULL
))
53 panic("Failed to populate DT");
57 arch_initcall(plat_of_setup
);