The GMP project maintains a comprehensive test environment consisting of physical and emulated systems. All test systems use non-routable IP-addresses, and are firewalled behind the main GMP network.

GMP developers with an account at shell.gmplib.org can log in to any of these systems via shell. Only virtualised systems marked as running on servus are directly reachable. Other systems can be reached via the system ashell which acts as a secondary gateway. Log in to ashell from shell using this command:

shell$ ssh ashell

Most systems below are powered off except when tests are being run. The system for power control is a bit crude; the command for switching on [system] is

ashell$ pdu on [system]

and then it will be properly switched off by the test system.

Please see the status page for system power information.

Table colour coding indicates where a machine is located:

on	off	location
		TUG in Stockholm, access via shell.gmplib.org
		Salt, access via TUG's shell.gmplib.org and then as per instructions above
		Sol, access via TUG's shell.gmplib.org → hshell.gmplib.org.

The colours in the RAM column indicate the presence of ECC; green means the system has ECC memory while red means it lacks ECC. Some level of spurious miscomputation is to be expected from all non-ECC systems.

Real hardware systems

name	arch	cpu type	cpu code name	cores	clk	L1 KiB	L2 KiB	L3 MiB	ram GiB	virt	OS/kern	pwr stat	comment
servus	x86-64	Xeon E5-1650v2	Ivy Bridge-EP	6	3500	6 × 32	6 × 256	12	96	xen	gentoo	on	ssh to port 2202 to virtual system 'shell'
diener	x86-64	Epyc 7402P	Zen2/Rome	24	2800-3350	24 × 32	24 × 512	128	256	xen	gentoo	on
raphael	x86-64	Ryzen 7800X3D	Zen4/Raphael	8	4200-5000	8 × 32	8 × 1024	32	96	xen	gentoo	on	ssh via 'shell' through tunnel to virtual system 'ashell'
k8	x86-64	Athlon X2 4800+	K8/Brisbane	2	2500	2 × 64	2 × 512		8	xen	gentoo	pdu
k10	x86-64	Phenom II 1090T	K10/Thuban	6	3200-3600	6 × 64	6 × 512	6	32	xen	gentoo	pdu
bd1	x86-64	FX-4100	Bulldozer/Zambezi	4	3600-3800	4 × 16	2 × 2048	8	32	xen	gentoo	pdu
bd2	x86-64	FX-8350	Piledriver/Vishera	8	4000-4200	8 × 16	4 × 2048	8	32	xen	gentoo	pdu
bd4	x86-64	A12-9800	Excavator/Bristol Ridge	4	3800-4200	4 × 32	2 × 1024		32	xen	gentoo	pdu
suri	x86-64	Ryzen 1500X (1740)	Zen/Summit Ridge	4	3500-3900	4 × 32	4 × 512	16	64	xen	gentoo	pdu
piri	x86-64	Ryzen 2700X	Zen/Pinnacle Ridge	8	3700-4300	8 × 32	8 × 512	16	128	xen	gentoo	pdu
mati	x86-64	Ryzen 3900X	Zen2/Matisse	12	3800-4600	12 × 32	12 × 512	64	128	xen	gentoo	pdu
verm	x86-64	Ryzen 5950X	Zen3/Vermeer	16	3400-4900	16 × 32	16 × 512	64	128	xen	gentoo	pdu
raph	x86-64	Ryzen 7950X	Zen4/Raphael	16	4500-5700	16 × 32	16 × 1024	64	32	xen	gentoo
gran	x86-64	Ryzen 9950X	Zen5/Granite Ridge	16	4300-5700	16 × 48	16 × 1024	64	64	xen	gentoo
element	x86-64	Xeon	Nocona	2	3400	2 × 16	1024		8		gentoo		unreliable system
cnr	x86-64	Xeon 3085	Conroe	2	3000	2 × 32	4096		8	xen	gentoo	pdu
pnr	x86-64	Xeon E3110	Penryn/Wolfdale	2	3000	2 × 32	6144		8	xen	gentoo	pdu
nhm	x86-64	Xeon X3470	Nehalem/Lynnfield	4	2933-3600	4 × 32	4 × 256	8	32	xen	gentoo	pdu
wsm	x86-64	Xeon E5649	Westmere	6	2533-2933	6 × 32	6 × 256	12	24	xen	gentoo	pdu
sbr	x86-64	Xeon E3-1270	Sandy Bridge	4	3400-3800	4 × 32	4 × 256	8	32	xen	gentoo	pdu
minivy	x86-64	i7-3615QM	Ivy Bridge	4	2300-3300	4 × 32	4 × 256	6	16		macos	pdu	Mac Mini
hwl	x86-64	Xeon E3-1271v3	Haswell	4	3600-4000	4 × 32	4 × 256	8	32	xen	gentoo	pdu
bwl	x86-64	Xeon E3-1285Lv4	Broadwell	4	3400-3800	4 × 32	4 × 256	6+128	32	xen	gentoo	pdu
sky	x86-64	Xeon E3-1270v5	Skylake	4	3600-4000	4 × 32	4 × 256	8	64	xen	gentoo	pdu
roc	x86-64	Core i5 11600K	Rocket Lake	6	3900-4900	6 × 48	6 × 512	12	64	xen	gentoo	pdu
ald	x86-64	Core i5 12600K	Alder Lake	6+4	3700-4900	6 × 48	6 × 1280	20	64	xen	gentoo	pdu
arla	x86-64	Core Ultra 5 235	Arrow Lake	6+8	3500-5000	6 × 48	6 × 3072	24	32		gentoo
bt1	x86-64	E-350	Zacate	2	1600	2 × 32	2 × 512		8	xen	gentoo	pdu
bt2	x86-64	Athlon 5350	Jaguar/Kabini	4	2050	4 × 32	2048		16	xen	gentoo	pdu
gege	x86-64	Atom 330	Diamondville	2	1600	24	512		4		gentoo	pdu
slm	x86-64	Atom C2758	Silvermont/Rangeley	8	2400	8 × 24	4096		32	xen	gentoo	pdu	waiting to die due to Intel C2000 clock bug
glm	x86-64	Atom C3758	Goldmont/Denverton	8	2200	8 × 24	16384		32	xen	gentoo	pdu
plm	x86-64	Celeron J4105	Goldmont Plus/Gemini Lake	4	1500-2400	4 × 24	4096		8	xen	gentoo	pdu
trm	x86-64	Pentium N6005	Tremont/Jasper Lake	4	2000-3300	4 × 32	1536	4	16	xen	gentoo	pdu
tambo	x86-32	Athlon	K7/Barton	1	2083	64	512		2		gentoo	dead	motherboard failure
labrador	x86-32	Pentium3	Coppermine	1	800				1		gentoo	off	will come back under timer control
parks	x86-32	Pentium4-2	Northwood	1	2600	8	512		1		gentoo	off
olympic	ia-64	Itanium 2	Mckinley	2	900	2 × 16	2 × 256	1.5	4		freebsd	off	HP rx2620
g5	ppc64	PPC-970		2	1800	2 × 32	2 × 512		1.2		macos	off	Power Mac G5
spigg	ppc32	PPC-7447A		1	1417	32	512		0.5		gnu/linux	off	Mac Mini G4
pi1	armv6	arm1176		1	900				0.5		gnu/linux	on	Raspberry Pi 1
odc1	armv7a	Cortex-A5		4	1500				1		gnu/linux	on	Odroid-C1+
pi2	armv7a	Cortex-A7		4	1000				1		gnu/linux	on	Raspberry Pi 2
beagle	armv7a	Cortex-A8		1	1000				0.5		gnu/linux	on	Beaglebone black
nanot2	armv7a	Cortex-A9		4	1400				1		gnu/linux	on	FriendlyELEC NanoPC-T2
odxu4	armv7a	Cortex-A15/A7		4×2000 + 4×1400					2		gnu/linux	on	Odroid-XU4
pi3	armv8a	Cortex-A53		4	1400				1		gnu/linux	on	Raspberry Pi 3 B+
pi4	armv8a	Cortex-A72		4	1500				8		gnu/linux	on	Raspberry Pi 4 B
nanom4	armv8a	Cortex-A72/A53		2×1800 + 4×1416					4		gnu/linux	on	FriendlyELEC NanoPi M4
odn2	armv8a	Cortex-A73/A53		4×1800 + 2×1900					4		gnu/linux	on	Odroid-N2
pi5	armv8a	Cortex-A76		4	2400				8		gnu/linux	on	Raspberry Pi 5
m1	armv8a	Apple M1		4×3200 + 4×?					8		gnu/linux	on	Mac Mini