Calxeda Highbank and Midway (``highbank``, ``midway``)
======================================================

``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