# Set ARCH to 64 bit
ARCH = 'x86_64'
# Set path for LITMUS_KERNEL
LITMUS_KERNEL = '../litmus2010'