Debian Linux is a desktop/window or console (command line) based development environment comprised of some basic programs and utilities. Development can happen directly on the board, and within the OS. While applications and programs can be built directly on the board, they can also be built remotely and cross-compiled for the particular system.

Debian 9 (“stretch”) installer with custom kernel

Developerbox has been comprehensively supported by the Linux kernel since v4.16 (and v4.15 has support for everything except the on-board network card). Since currently very few distributions for AArch64 are shipped with suitable kernels, Linaro has temporarily provided a custom installer. We plan to discontinue this images as soon as Developerbox support is added by the upstream distribution.

ISO Image Network Installer
Installation Guide Link

Continue to Installation page