blob: 0cbc865de7b89a1329a39e9031af78d96aa33cd4 [file] [log] [blame]
Rob Herring24885142012-01-26 11:43:49 +00001/*
2 * Calxeda Highbank SoC emulation
3 *
4 * Copyright (c) 2010-2012 Calxeda
5 *
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms and conditions of the GNU General Public License,
8 * version 2 or later, as published by the Free Software Foundation.
9 *
10 * This program is distributed in the hope it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
13 * more details.
14 *
15 * You should have received a copy of the GNU General Public License along with
16 * this program. If not, see <http://www.gnu.org/licenses/>.
17 *
18 */
19
Paolo Bonzini83c9f4c2013-02-04 15:40:22 +010020#include "hw/sysbus.h"
Peter Maydellbd2be152013-04-09 15:26:55 +010021#include "hw/arm/arm.h"
22#include "hw/devices.h"
Paolo Bonzini83c9f4c2013-02-04 15:40:22 +010023#include "hw/loader.h"
Paolo Bonzini1422e322012-10-24 08:43:34 +020024#include "net/net.h"
Paolo Bonzini9c17d612012-12-17 18:20:04 +010025#include "sysemu/sysemu.h"
Paolo Bonzini83c9f4c2013-02-04 15:40:22 +010026#include "hw/boards.h"
Paolo Bonzini9c17d612012-12-17 18:20:04 +010027#include "sysemu/blockdev.h"
Paolo Bonzini022c62c2012-12-17 18:19:49 +010028#include "exec/address-spaces.h"
Peter Crosthwaitef282f292013-12-17 19:42:28 +000029#include "qemu/error-report.h"
Rob Herring24885142012-01-26 11:43:49 +000030
Peter Crosthwaitee2cddee2013-12-17 19:42:29 +000031#define SMP_BOOT_ADDR 0x100
32#define SMP_BOOT_REG 0x40
33#define MPCORE_PERIPHBASE 0xfff10000
Rob Herring24885142012-01-26 11:43:49 +000034
Peter Crosthwaitee2cddee2013-12-17 19:42:29 +000035#define NIRQ_GIC 160
Rob Herring24885142012-01-26 11:43:49 +000036
37/* Board init. */
Rob Herring24885142012-01-26 11:43:49 +000038
Andreas Färber9543b0c2012-05-14 00:08:10 +020039static void hb_write_secondary(ARMCPU *cpu, const struct arm_boot_info *info)
Rob Herring24885142012-01-26 11:43:49 +000040{
41 int n;
42 uint32_t smpboot[] = {
43 0xee100fb0, /* mrc p15, 0, r0, c0, c0, 5 - read current core id */
44 0xe210000f, /* ands r0, r0, #0x0f */
45 0xe3a03040, /* mov r3, #0x40 - jump address is 0x40 + 0x10 * core id */
46 0xe0830200, /* add r0, r3, r0, lsl #4 */
Peter Maydellbf471f72012-12-11 11:30:37 +000047 0xe59f2024, /* ldr r2, privbase */
Rob Herring24885142012-01-26 11:43:49 +000048 0xe3a01001, /* mov r1, #1 */
Peter Maydellbf471f72012-12-11 11:30:37 +000049 0xe5821100, /* str r1, [r2, #256] - set GICC_CTLR.Enable */
50 0xe3a010ff, /* mov r1, #0xff */
51 0xe5821104, /* str r1, [r2, #260] - set GICC_PMR.Priority to 0xff */
52 0xf57ff04f, /* dsb */
Rob Herring24885142012-01-26 11:43:49 +000053 0xe320f003, /* wfi */
54 0xe5901000, /* ldr r1, [r0] */
55 0xe1110001, /* tst r1, r1 */
56 0x0afffffb, /* beq <wfi> */
57 0xe12fff11, /* bx r1 */
Peter Crosthwaitee2cddee2013-12-17 19:42:29 +000058 MPCORE_PERIPHBASE /* privbase: MPCore peripheral base address. */
Rob Herring24885142012-01-26 11:43:49 +000059 };
60 for (n = 0; n < ARRAY_SIZE(smpboot); n++) {
61 smpboot[n] = tswap32(smpboot[n]);
62 }
63 rom_add_blob_fixed("smpboot", smpboot, sizeof(smpboot), SMP_BOOT_ADDR);
64}
65
Andreas Färber5d309322012-05-14 01:05:40 +020066static void hb_reset_secondary(ARMCPU *cpu, const struct arm_boot_info *info)
Rob Herring24885142012-01-26 11:43:49 +000067{
Andreas Färber5d309322012-05-14 01:05:40 +020068 CPUARMState *env = &cpu->env;
69
Rob Herring24885142012-01-26 11:43:49 +000070 switch (info->nb_cpus) {
71 case 4:
Edgar E. Iglesias2198a122013-11-28 10:13:41 +010072 stl_phys_notdirty(&address_space_memory, SMP_BOOT_REG + 0x30, 0);
Rob Herring24885142012-01-26 11:43:49 +000073 case 3:
Edgar E. Iglesias2198a122013-11-28 10:13:41 +010074 stl_phys_notdirty(&address_space_memory, SMP_BOOT_REG + 0x20, 0);
Rob Herring24885142012-01-26 11:43:49 +000075 case 2:
Edgar E. Iglesias2198a122013-11-28 10:13:41 +010076 stl_phys_notdirty(&address_space_memory, SMP_BOOT_REG + 0x10, 0);
Rob Herring24885142012-01-26 11:43:49 +000077 env->regs[15] = SMP_BOOT_ADDR;
78 break;
79 default:
80 break;
81 }
82}
83
84#define NUM_REGS 0x200
Avi Kivitya8170e52012-10-23 12:30:10 +020085static void hb_regs_write(void *opaque, hwaddr offset,
Rob Herring24885142012-01-26 11:43:49 +000086 uint64_t value, unsigned size)
87{
88 uint32_t *regs = opaque;
89
90 if (offset == 0xf00) {
91 if (value == 1 || value == 2) {
92 qemu_system_reset_request();
93 } else if (value == 3) {
94 qemu_system_shutdown_request();
95 }
96 }
97
98 regs[offset/4] = value;
99}
100
Avi Kivitya8170e52012-10-23 12:30:10 +0200101static uint64_t hb_regs_read(void *opaque, hwaddr offset,
Rob Herring24885142012-01-26 11:43:49 +0000102 unsigned size)
103{
104 uint32_t *regs = opaque;
105 uint32_t value = regs[offset/4];
106
107 if ((offset == 0x100) || (offset == 0x108) || (offset == 0x10C)) {
108 value |= 0x30000000;
109 }
110
111 return value;
112}
113
114static const MemoryRegionOps hb_mem_ops = {
115 .read = hb_regs_read,
116 .write = hb_regs_write,
117 .endianness = DEVICE_NATIVE_ENDIAN,
118};
119
Andreas Färber426533f2013-07-24 00:52:40 +0200120#define TYPE_HIGHBANK_REGISTERS "highbank-regs"
121#define HIGHBANK_REGISTERS(obj) \
122 OBJECT_CHECK(HighbankRegsState, (obj), TYPE_HIGHBANK_REGISTERS)
123
Rob Herring24885142012-01-26 11:43:49 +0000124typedef struct {
Andreas Färber426533f2013-07-24 00:52:40 +0200125 /*< private >*/
126 SysBusDevice parent_obj;
127 /*< public >*/
128
Stefan Weil112f2ac2013-12-06 19:43:30 +0100129 MemoryRegion iomem;
Rob Herring24885142012-01-26 11:43:49 +0000130 uint32_t regs[NUM_REGS];
131} HighbankRegsState;
132
133static VMStateDescription vmstate_highbank_regs = {
134 .name = "highbank-regs",
135 .version_id = 0,
136 .minimum_version_id = 0,
Rob Herring24885142012-01-26 11:43:49 +0000137 .fields = (VMStateField[]) {
138 VMSTATE_UINT32_ARRAY(regs, HighbankRegsState, NUM_REGS),
139 VMSTATE_END_OF_LIST(),
140 },
141};
142
143static void highbank_regs_reset(DeviceState *dev)
144{
Andreas Färber426533f2013-07-24 00:52:40 +0200145 HighbankRegsState *s = HIGHBANK_REGISTERS(dev);
Rob Herring24885142012-01-26 11:43:49 +0000146
147 s->regs[0x40] = 0x05F20121;
148 s->regs[0x41] = 0x2;
149 s->regs[0x42] = 0x05F30121;
150 s->regs[0x43] = 0x05F40121;
151}
152
153static int highbank_regs_init(SysBusDevice *dev)
154{
Andreas Färber426533f2013-07-24 00:52:40 +0200155 HighbankRegsState *s = HIGHBANK_REGISTERS(dev);
Rob Herring24885142012-01-26 11:43:49 +0000156
Stefan Weil112f2ac2013-12-06 19:43:30 +0100157 memory_region_init_io(&s->iomem, OBJECT(s), &hb_mem_ops, s->regs,
Paolo Bonzini64bde0f2013-06-06 21:25:08 -0400158 "highbank_regs", 0x1000);
Stefan Weil112f2ac2013-12-06 19:43:30 +0100159 sysbus_init_mmio(dev, &s->iomem);
Rob Herring24885142012-01-26 11:43:49 +0000160
161 return 0;
162}
163
Anthony Liguori999e12b2012-01-24 13:12:29 -0600164static void highbank_regs_class_init(ObjectClass *klass, void *data)
165{
166 SysBusDeviceClass *sbc = SYS_BUS_DEVICE_CLASS(klass);
Anthony Liguori39bffca2011-12-07 21:34:16 -0600167 DeviceClass *dc = DEVICE_CLASS(klass);
Anthony Liguori999e12b2012-01-24 13:12:29 -0600168
169 sbc->init = highbank_regs_init;
Anthony Liguori39bffca2011-12-07 21:34:16 -0600170 dc->desc = "Calxeda Highbank registers";
171 dc->vmsd = &vmstate_highbank_regs;
172 dc->reset = highbank_regs_reset;
Anthony Liguori999e12b2012-01-24 13:12:29 -0600173}
174
Andreas Färber8c43a6f2013-01-10 16:19:07 +0100175static const TypeInfo highbank_regs_info = {
Andreas Färber426533f2013-07-24 00:52:40 +0200176 .name = TYPE_HIGHBANK_REGISTERS,
Anthony Liguori39bffca2011-12-07 21:34:16 -0600177 .parent = TYPE_SYS_BUS_DEVICE,
178 .instance_size = sizeof(HighbankRegsState),
179 .class_init = highbank_regs_class_init,
Rob Herring24885142012-01-26 11:43:49 +0000180};
181
Andreas Färber83f7d432012-02-09 15:20:55 +0100182static void highbank_regs_register_types(void)
Rob Herring24885142012-01-26 11:43:49 +0000183{
Anthony Liguori39bffca2011-12-07 21:34:16 -0600184 type_register_static(&highbank_regs_info);
Rob Herring24885142012-01-26 11:43:49 +0000185}
186
Andreas Färber83f7d432012-02-09 15:20:55 +0100187type_init(highbank_regs_register_types)
Rob Herring24885142012-01-26 11:43:49 +0000188
189static struct arm_boot_info highbank_binfo;
190
Andre Przywara574f66b2013-07-05 14:21:36 +0200191enum cxmachines {
192 CALXEDA_HIGHBANK,
Andre Przywarab25a83f2013-07-05 14:21:37 +0200193 CALXEDA_MIDWAY,
Andre Przywara574f66b2013-07-05 14:21:36 +0200194};
195
Rob Herring24885142012-01-26 11:43:49 +0000196/* ram_size must be set to match the upper bound of memory in the
197 * device tree (linux/arch/arm/boot/dts/highbank.dts), which is
198 * normally 0xff900000 or -m 4089. When running this board on a
199 * 32-bit host, set the reg value of memory to 0xf7ff00000 in the
200 * device tree and pass -m 2047 to QEMU.
201 */
Andre Przywara574f66b2013-07-05 14:21:36 +0200202static void calxeda_init(QEMUMachineInitArgs *args, enum cxmachines machine)
Rob Herring24885142012-01-26 11:43:49 +0000203{
Eduardo Habkost5f072e12012-10-15 17:22:02 -0300204 ram_addr_t ram_size = args->ram_size;
205 const char *cpu_model = args->cpu_model;
206 const char *kernel_filename = args->kernel_filename;
207 const char *kernel_cmdline = args->kernel_cmdline;
208 const char *initrd_filename = args->initrd_filename;
Andre Przywara574f66b2013-07-05 14:21:36 +0200209 DeviceState *dev = NULL;
Rob Herring24885142012-01-26 11:43:49 +0000210 SysBusDevice *busdev;
Rob Herring24885142012-01-26 11:43:49 +0000211 qemu_irq pic[128];
212 int n;
213 qemu_irq cpu_irq[4];
214 MemoryRegion *sysram;
215 MemoryRegion *dram;
216 MemoryRegion *sysmem;
217 char *sysboot_filename;
218
219 if (!cpu_model) {
Andre Przywara574f66b2013-07-05 14:21:36 +0200220 switch (machine) {
221 case CALXEDA_HIGHBANK:
222 cpu_model = "cortex-a9";
223 break;
Andre Przywarab25a83f2013-07-05 14:21:37 +0200224 case CALXEDA_MIDWAY:
225 cpu_model = "cortex-a15";
226 break;
Andre Przywara574f66b2013-07-05 14:21:36 +0200227 }
Rob Herring24885142012-01-26 11:43:49 +0000228 }
229
230 for (n = 0; n < smp_cpus; n++) {
Peter Crosthwaitef282f292013-12-17 19:42:28 +0000231 ObjectClass *oc = cpu_class_by_name(TYPE_ARM_CPU, cpu_model);
Peter Maydelld0976962014-04-04 17:42:34 +0100232 Object *cpuobj;
Peter Maydellc5fad122012-04-20 07:39:15 +0000233 ARMCPU *cpu;
Peter Crosthwaitef282f292013-12-17 19:42:28 +0000234 Error *err = NULL;
235
Peter Maydell3b418d02014-04-04 17:42:33 +0100236 if (!oc) {
237 error_report("Unable to find CPU definition");
238 exit(1);
239 }
240
Peter Maydelld0976962014-04-04 17:42:34 +0100241 cpuobj = object_new(object_class_get_name(oc));
242 cpu = ARM_CPU(cpuobj);
Peter Crosthwaitef282f292013-12-17 19:42:28 +0000243
Rob Herringf51c2c82014-05-22 21:30:09 -0500244 object_property_set_int(cpuobj, QEMU_PSCI_METHOD_SMC, "psci-method",
245 &error_abort);
246
247 /* Secondary CPUs start in PSCI powered-down state */
248 if (n > 0) {
249 object_property_set_bool(cpuobj, true, "start-powered-off",
250 &error_abort);
251 }
252
Peter Maydelld0976962014-04-04 17:42:34 +0100253 if (object_property_find(cpuobj, "reset-cbar", NULL)) {
254 object_property_set_int(cpuobj, MPCORE_PERIPHBASE,
255 "reset-cbar", &error_abort);
Peter Crosthwaitec0f1ead2013-12-17 19:42:28 +0000256 }
Peter Maydelld0976962014-04-04 17:42:34 +0100257 object_property_set_bool(cpuobj, true, "realized", &err);
Peter Crosthwaitef282f292013-12-17 19:42:28 +0000258 if (err) {
259 error_report("%s", error_get_pretty(err));
Rob Herring24885142012-01-26 11:43:49 +0000260 exit(1);
261 }
Peter Maydell9188dbf2013-08-20 14:54:29 +0100262 cpu_irq[n] = qdev_get_gpio_in(DEVICE(cpu), ARM_CPU_IRQ);
Rob Herring24885142012-01-26 11:43:49 +0000263 }
264
265 sysmem = get_system_memory();
266 dram = g_new(MemoryRegion, 1);
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400267 memory_region_init_ram(dram, NULL, "highbank.dram", ram_size);
Rob Herring24885142012-01-26 11:43:49 +0000268 /* SDRAM at address zero. */
269 memory_region_add_subregion(sysmem, 0, dram);
270
271 sysram = g_new(MemoryRegion, 1);
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400272 memory_region_init_ram(sysram, NULL, "highbank.sysram", 0x8000);
Rob Herring24885142012-01-26 11:43:49 +0000273 memory_region_add_subregion(sysmem, 0xfff88000, sysram);
274 if (bios_name != NULL) {
275 sysboot_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bios_name);
276 if (sysboot_filename != NULL) {
277 uint32_t filesize = get_image_size(sysboot_filename);
278 if (load_image_targphys("sysram.bin", 0xfff88000, filesize) < 0) {
279 hw_error("Unable to load %s\n", bios_name);
280 }
281 } else {
282 hw_error("Unable to find %s\n", bios_name);
283 }
284 }
285
Andre Przywara574f66b2013-07-05 14:21:36 +0200286 switch (machine) {
287 case CALXEDA_HIGHBANK:
Andre Przywarab25a83f2013-07-05 14:21:37 +0200288 dev = qdev_create(NULL, "l2x0");
289 qdev_init_nofail(dev);
290 busdev = SYS_BUS_DEVICE(dev);
291 sysbus_mmio_map(busdev, 0, 0xfff12000);
292
Andre Przywara574f66b2013-07-05 14:21:36 +0200293 dev = qdev_create(NULL, "a9mpcore_priv");
294 break;
Andre Przywarab25a83f2013-07-05 14:21:37 +0200295 case CALXEDA_MIDWAY:
296 dev = qdev_create(NULL, "a15mpcore_priv");
297 break;
Andre Przywara574f66b2013-07-05 14:21:36 +0200298 }
Rob Herring24885142012-01-26 11:43:49 +0000299 qdev_prop_set_uint32(dev, "num-cpu", smp_cpus);
300 qdev_prop_set_uint32(dev, "num-irq", NIRQ_GIC);
301 qdev_init_nofail(dev);
Andreas Färber1356b982013-01-20 02:47:33 +0100302 busdev = SYS_BUS_DEVICE(dev);
Peter Crosthwaitee2cddee2013-12-17 19:42:29 +0000303 sysbus_mmio_map(busdev, 0, MPCORE_PERIPHBASE);
Rob Herring24885142012-01-26 11:43:49 +0000304 for (n = 0; n < smp_cpus; n++) {
305 sysbus_connect_irq(busdev, n, cpu_irq[n]);
306 }
307
308 for (n = 0; n < 128; n++) {
309 pic[n] = qdev_get_gpio_in(dev, n);
310 }
311
Rob Herring24885142012-01-26 11:43:49 +0000312 dev = qdev_create(NULL, "sp804");
313 qdev_prop_set_uint32(dev, "freq0", 150000000);
314 qdev_prop_set_uint32(dev, "freq1", 150000000);
315 qdev_init_nofail(dev);
Andreas Färber1356b982013-01-20 02:47:33 +0100316 busdev = SYS_BUS_DEVICE(dev);
Rob Herring24885142012-01-26 11:43:49 +0000317 sysbus_mmio_map(busdev, 0, 0xfff34000);
318 sysbus_connect_irq(busdev, 0, pic[18]);
319 sysbus_create_simple("pl011", 0xfff36000, pic[20]);
320
321 dev = qdev_create(NULL, "highbank-regs");
322 qdev_init_nofail(dev);
Andreas Färber1356b982013-01-20 02:47:33 +0100323 busdev = SYS_BUS_DEVICE(dev);
Rob Herring24885142012-01-26 11:43:49 +0000324 sysbus_mmio_map(busdev, 0, 0xfff3c000);
325
326 sysbus_create_simple("pl061", 0xfff30000, pic[14]);
327 sysbus_create_simple("pl061", 0xfff31000, pic[15]);
328 sysbus_create_simple("pl061", 0xfff32000, pic[16]);
329 sysbus_create_simple("pl061", 0xfff33000, pic[17]);
330 sysbus_create_simple("pl031", 0xfff35000, pic[19]);
331 sysbus_create_simple("pl022", 0xfff39000, pic[23]);
332
333 sysbus_create_simple("sysbus-ahci", 0xffe08000, pic[83]);
334
Stefan Hajnoczia005d072012-07-24 16:35:11 +0100335 if (nd_table[0].used) {
Rob Herring24885142012-01-26 11:43:49 +0000336 qemu_check_nic_model(&nd_table[0], "xgmac");
337 dev = qdev_create(NULL, "xgmac");
338 qdev_set_nic_properties(dev, &nd_table[0]);
339 qdev_init_nofail(dev);
Andreas Färber1356b982013-01-20 02:47:33 +0100340 sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, 0xfff50000);
341 sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, pic[77]);
342 sysbus_connect_irq(SYS_BUS_DEVICE(dev), 1, pic[78]);
343 sysbus_connect_irq(SYS_BUS_DEVICE(dev), 2, pic[79]);
Rob Herring24885142012-01-26 11:43:49 +0000344
345 qemu_check_nic_model(&nd_table[1], "xgmac");
346 dev = qdev_create(NULL, "xgmac");
347 qdev_set_nic_properties(dev, &nd_table[1]);
348 qdev_init_nofail(dev);
Andreas Färber1356b982013-01-20 02:47:33 +0100349 sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, 0xfff51000);
350 sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, pic[80]);
351 sysbus_connect_irq(SYS_BUS_DEVICE(dev), 1, pic[81]);
352 sysbus_connect_irq(SYS_BUS_DEVICE(dev), 2, pic[82]);
Rob Herring24885142012-01-26 11:43:49 +0000353 }
354
355 highbank_binfo.ram_size = ram_size;
356 highbank_binfo.kernel_filename = kernel_filename;
357 highbank_binfo.kernel_cmdline = kernel_cmdline;
358 highbank_binfo.initrd_filename = initrd_filename;
359 /* highbank requires a dtb in order to boot, and the dtb will override
360 * the board ID. The following value is ignored, so set it to -1 to be
361 * clear that the value is meaningless.
362 */
363 highbank_binfo.board_id = -1;
364 highbank_binfo.nb_cpus = smp_cpus;
365 highbank_binfo.loader_start = 0;
366 highbank_binfo.write_secondary_boot = hb_write_secondary;
367 highbank_binfo.secondary_cpu_reset_hook = hb_reset_secondary;
Andreas Färber182735e2013-05-29 22:29:20 +0200368 arm_load_kernel(ARM_CPU(first_cpu), &highbank_binfo);
Rob Herring24885142012-01-26 11:43:49 +0000369}
370
Andre Przywara574f66b2013-07-05 14:21:36 +0200371static void highbank_init(QEMUMachineInitArgs *args)
372{
373 calxeda_init(args, CALXEDA_HIGHBANK);
374}
375
Andre Przywarab25a83f2013-07-05 14:21:37 +0200376static void midway_init(QEMUMachineInitArgs *args)
377{
378 calxeda_init(args, CALXEDA_MIDWAY);
379}
380
Rob Herring24885142012-01-26 11:43:49 +0000381static QEMUMachine highbank_machine = {
382 .name = "highbank",
383 .desc = "Calxeda Highbank (ECX-1000)",
384 .init = highbank_init,
Christian Borntraeger2d0d2832012-11-20 15:30:34 +0100385 .block_default_type = IF_SCSI,
Rob Herring24885142012-01-26 11:43:49 +0000386 .max_cpus = 4,
Rob Herring24885142012-01-26 11:43:49 +0000387};
388
Andre Przywarab25a83f2013-07-05 14:21:37 +0200389static QEMUMachine midway_machine = {
390 .name = "midway",
391 .desc = "Calxeda Midway (ECX-2000)",
392 .init = midway_init,
393 .block_default_type = IF_SCSI,
394 .max_cpus = 4,
Andre Przywarab25a83f2013-07-05 14:21:37 +0200395};
396
Andre Przywara574f66b2013-07-05 14:21:36 +0200397static void calxeda_machines_init(void)
Rob Herring24885142012-01-26 11:43:49 +0000398{
399 qemu_register_machine(&highbank_machine);
Andre Przywarab25a83f2013-07-05 14:21:37 +0200400 qemu_register_machine(&midway_machine);
Rob Herring24885142012-01-26 11:43:49 +0000401}
402
Andre Przywara574f66b2013-07-05 14:21:36 +0200403machine_init(calxeda_machines_init);