#
# Automatically generated make config: don't edit
# Linux kernel version: 2.6.27.14-vs2.3.0.36.4.2.planetlab
-# Thu Apr 2 15:21:38 2009
+# Fri Apr 10 18:26:48 2009
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
CONFIG_PROFILING=y
# CONFIG_MARKERS is not set
CONFIG_OPROFILE=m
+CONFIG_CHOPSTIX=y
CONFIG_HAVE_OPROFILE=y
CONFIG_KPROBES=y
CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
CONFIG_MAC_EMUMOUSEBTN=y
CONFIG_NETDEVICES=y
CONFIG_IFB=m
+CONFIG_EGRE=m
CONFIG_DUMMY=m
CONFIG_BONDING=m
CONFIG_MACVLAN=y
# CONFIG_E1000_DISABLE_PACKET_SPLIT is not set
CONFIG_E1000E=m
# CONFIG_IP1000 is not set
-# CONFIG_IGB is not set
+CONFIG_IGB=m
CONFIG_NS83820=m
CONFIG_HAMACHI=m
CONFIG_YELLOWFIN=m
# CONFIG_SX is not set
# CONFIG_RIO is not set
# CONFIG_STALDRV is not set
-# CONFIG_NOZOMI is not set
+CONFIG_NOZOMI=m
#
# Serial drivers
CONFIG_CS5535_GPIO=m
# CONFIG_RAW_DRIVER is not set
# CONFIG_HPET is not set
-CONFIG_HANGCHECK_TIMER=y
+CONFIG_HANGCHECK_TIMER=m
CONFIG_TCG_TPM=m
CONFIG_TCG_TIS=m
CONFIG_TCG_NSC=m