duke@435: os_family = linux
duke@435: 
duke@435: arch = x86
duke@435: 
duke@435: arch_model = x86_32
duke@435: 
duke@435: os_arch = linux_x86
duke@435: 
duke@435: os_arch_model = linux_x86_32
duke@435: 
duke@435: lib_arch = i386
duke@435: 
duke@435: compiler = gcc
duke@435: 
duke@435: sysdefs = -DLINUX -D_GNU_SOURCE -DIA32