# CONFIG_DCB is not set
# CONFIG_DEBUG_BUGVERBOSE is not set
# CONFIG_DEBUG_USER is not set
-CONFIG_DEFAULT_TCP_CONG="westwood"
CONFIG_DEVPORT=y
# CONFIG_DEVPTS_MULTIPLE_INSTANCES is not set
CONFIG_DLCI=m
CONFIG_SPLIT_PTLOCK_CPUS=4096
# CONFIG_SWAP is not set
CONFIG_SYS_SUPPORTS_APM_EMULATION=y
-CONFIG_TCP_CONG_VEGAS=m
-CONFIG_TCP_CONG_WESTWOOD=y
CONFIG_TICK_ONESHOT=y
CONFIG_UID16=y
CONFIG_USB=m