1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24#include "sysemu/sysemu.h"
25#include "sysemu/qtest.h"
26#include "hw/sysbus.h"
27#include "net/net.h"
28#include "hw/arm/arm.h"
29#include "exec/address-spaces.h"
30#include "hw/arm/exynos4210.h"
31#include "hw/boards.h"
32
33#undef DEBUG
34
35
36
37#ifdef DEBUG
38 #undef PRINT_DEBUG
39 #define PRINT_DEBUG(fmt, args...) \
40 do { \
41 fprintf(stderr, " [%s:%d] "fmt, __func__, __LINE__, ##args); \
42 } while (0)
43#else
44 #define PRINT_DEBUG(fmt, args...) do {} while (0)
45#endif
46
47#define SMDK_LAN9118_BASE_ADDR 0x05000000
48
49typedef enum Exynos4BoardType {
50 EXYNOS4_BOARD_NURI,
51 EXYNOS4_BOARD_SMDKC210,
52 EXYNOS4_NUM_OF_BOARDS
53} Exynos4BoardType;
54
55static int exynos4_board_id[EXYNOS4_NUM_OF_BOARDS] = {
56 [EXYNOS4_BOARD_NURI] = 0xD33,
57 [EXYNOS4_BOARD_SMDKC210] = 0xB16,
58};
59
60static int exynos4_board_smp_bootreg_addr[EXYNOS4_NUM_OF_BOARDS] = {
61 [EXYNOS4_BOARD_NURI] = EXYNOS4210_SECOND_CPU_BOOTREG,
62 [EXYNOS4_BOARD_SMDKC210] = EXYNOS4210_SECOND_CPU_BOOTREG,
63};
64
65static unsigned long exynos4_board_ram_size[EXYNOS4_NUM_OF_BOARDS] = {
66 [EXYNOS4_BOARD_NURI] = 0x40000000,
67 [EXYNOS4_BOARD_SMDKC210] = 0x40000000,
68};
69
70static struct arm_boot_info exynos4_board_binfo = {
71 .loader_start = EXYNOS4210_BASE_BOOT_ADDR,
72 .smp_loader_start = EXYNOS4210_SMP_BOOT_ADDR,
73 .nb_cpus = EXYNOS4210_NCPUS,
74 .write_secondary_boot = exynos4210_write_secondary,
75};
76
77static void lan9215_init(uint32_t base, qemu_irq irq)
78{
79 DeviceState *dev;
80 SysBusDevice *s;
81
82
83 if (nd_table[0].used) {
84 qemu_check_nic_model(&nd_table[0], "lan9118");
85 dev = qdev_create(NULL, "lan9118");
86 qdev_set_nic_properties(dev, &nd_table[0]);
87 qdev_prop_set_uint32(dev, "mode_16bit", 1);
88 qdev_init_nofail(dev);
89 s = SYS_BUS_DEVICE(dev);
90 sysbus_mmio_map(s, 0, base);
91 sysbus_connect_irq(s, 0, irq);
92 }
93}
94
95static Exynos4210State *exynos4_boards_init_common(MachineState *machine,
96 Exynos4BoardType board_type)
97{
98 MachineClass *mc = MACHINE_GET_CLASS(machine);
99
100 if (smp_cpus != EXYNOS4210_NCPUS && !qtest_enabled()) {
101 fprintf(stderr, "%s board supports only %d CPU cores. Ignoring smp_cpus"
102 " value.\n",
103 mc->name, EXYNOS4210_NCPUS);
104 }
105
106 exynos4_board_binfo.ram_size = exynos4_board_ram_size[board_type];
107 exynos4_board_binfo.board_id = exynos4_board_id[board_type];
108 exynos4_board_binfo.smp_bootreg_addr =
109 exynos4_board_smp_bootreg_addr[board_type];
110 exynos4_board_binfo.kernel_filename = machine->kernel_filename;
111 exynos4_board_binfo.initrd_filename = machine->initrd_filename;
112 exynos4_board_binfo.kernel_cmdline = machine->kernel_cmdline;
113 exynos4_board_binfo.gic_cpu_if_addr =
114 EXYNOS4210_SMP_PRIVATE_BASE_ADDR + 0x100;
115
116 PRINT_DEBUG("\n ram_size: %luMiB [0x%08lx]\n"
117 " kernel_filename: %s\n"
118 " kernel_cmdline: %s\n"
119 " initrd_filename: %s\n",
120 exynos4_board_ram_size[board_type] / 1048576,
121 exynos4_board_ram_size[board_type],
122 machine->kernel_filename,
123 machine->kernel_cmdline,
124 machine->initrd_filename);
125
126 return exynos4210_init(get_system_memory(),
127 exynos4_board_ram_size[board_type]);
128}
129
130static void nuri_init(MachineState *machine)
131{
132 exynos4_boards_init_common(machine, EXYNOS4_BOARD_NURI);
133
134 arm_load_kernel(ARM_CPU(first_cpu), &exynos4_board_binfo);
135}
136
137static void smdkc210_init(MachineState *machine)
138{
139 Exynos4210State *s = exynos4_boards_init_common(machine,
140 EXYNOS4_BOARD_SMDKC210);
141
142 lan9215_init(SMDK_LAN9118_BASE_ADDR,
143 qemu_irq_invert(s->irq_table[exynos4210_get_irq(37, 1)]));
144 arm_load_kernel(ARM_CPU(first_cpu), &exynos4_board_binfo);
145}
146
147static void nuri_class_init(ObjectClass *oc, void *data)
148{
149 MachineClass *mc = MACHINE_CLASS(oc);
150
151 mc->desc = "Samsung NURI board (Exynos4210)";
152 mc->init = nuri_init;
153 mc->max_cpus = EXYNOS4210_NCPUS;
154}
155
156static const TypeInfo nuri_type = {
157 .name = MACHINE_TYPE_NAME("nuri"),
158 .parent = TYPE_MACHINE,
159 .class_init = nuri_class_init,
160};
161
162static void smdkc210_class_init(ObjectClass *oc, void *data)
163{
164 MachineClass *mc = MACHINE_CLASS(oc);
165
166 mc->desc = "Samsung SMDKC210 board (Exynos4210)";
167 mc->init = smdkc210_init;
168 mc->max_cpus = EXYNOS4210_NCPUS;
169}
170
171static const TypeInfo smdkc210_type = {
172 .name = MACHINE_TYPE_NAME("smdkc210"),
173 .parent = TYPE_MACHINE,
174 .class_init = smdkc210_class_init,
175};
176
177static void exynos4_machines_init(void)
178{
179 type_register_static(&nuri_type);
180 type_register_static(&smdkc210_type);
181}
182
183machine_init(exynos4_machines_init)
184
