---

15.2 Supported Platforms

The (guix platforms …) modules export the following variables, each of which is bound to a platform record.

Variable: armv7-linux

Platform targeting ARM v7 CPU running GNU/Linux.

Variable: aarch64-linux

Platform targeting ARM v8 CPU running GNU/Linux.

Variable: mips64-linux

Platform targeting MIPS little-endian 64-bit CPU running GNU/Linux.

Variable: powerpc-linux

Platform targeting PowerPC big-endian 32-bit CPU running GNU/Linux.

Variable: powerpc64le-linux

Platform targeting PowerPC little-endian 64-bit CPU running GNU/Linux.

Variable: riscv64-linux

Platform targeting RISC-V 64-bit CPU running GNU/Linux.

Variable: i686-linux

Platform targeting x86 CPU running GNU/Linux.

Variable: x86_64-linux

Platform targeting x86 64-bit CPU running GNU/Linux.

Variable: x86_64-linux-x32

Platform targeting x86 64-bit CPU running GNU/Linux with the run-time using the X32 ABI.

Variable: i686-mingw

Platform targeting x86 CPU running Windows, with run-time support from MinGW.

Variable: x86_64-mingw

Platform targeting x86 64-bit CPU running Windows, with run-time support from MinGW.

Variable: i586-gnu

Platform targeting x86 CPU running GNU/Hurd (also referred to as “GNU”).

Variable: avr

Platform targeting AVR CPUs without an operating system, with run-time support from AVR Libc.

Variable: or1k-elf

Platform targeting OpenRISC 1000 CPU without an operating system and without a C standard library.

Variable: xtensa-ath9k-elf

Platform targeting Xtensa CPU used in the Qualcomm Atheros AR7010 and AR9271 USB 802.11n NICs (Network Interface Controllers).