duke@435: os_family = linux
duke@435: 
duke@435: arch = x86
duke@435: 
duke@435: arch_model = x86_64
duke@435: 
duke@435: os_arch = linux_x86
duke@435: 
duke@435: os_arch_model = linux_x86_64
duke@435: 
duke@435: lib_arch = amd64
duke@435: 
duke@435: compiler = gcc
duke@435: 
duke@435: sysdefs = -DLINUX -D_GNU_SOURCE -DAMD64