highbank is a model of the Calxeda Highbank (ECX-1000) system, which has four Cortex-A9 cores.
midway is a model of the Calxeda Midway (ECX-2000) system, which has four Cortex-A15 cores.
Emulated devices:
- L2x0 cache controller
- SP804 dual timer
- PL011 UART
- PL061 GPIOs
- PL031 RTC
- PL022 synchronous serial port controller
- AHCI
- XGMAC ethernet controllers