The Developerbox comes pre-installed with system firmware (based on Trusted Firmware and EDK2) but without an operating system installed. This page provides links to the latest software downloads for Developerbox.
Linaro supported system firmware
Linaro supported operating systems
Third Party Operating Systems
Other operating systems with support for Developerbox.