AMD Ryzen 7 5800X3D 8-Core Processor

[inv2004]

CPU: AMD Ryzen 7 5800X3D 8-Core Processor
Cores: 16
Freq: 2200.000 MHz                                                          
Ram: 31Gi                                                                   
Disk:
OS: Linux 6.6.72-1-lts                                                      
Arch: x86_64
Cc: gcc (GCC) 14.2.1 20250207                                               
83.786 seconds: ./build_all.sh CC=gcc CC_EXE=gcc
25.874 seconds: ./koch temp -d:release --cc:gcc --gcc.exe=gcc