# CONFIG_HZ_1000 is not set
CONFIG_HZ_250=y
# CONFIG_IRQ_FORCED_THREADING_DEFAULT is not set
+CONFIG_OPENNSL=y
# CONFIG_PREEMPT is not set
CONFIG_PREEMPT_VOLUNTARY=y
CONFIG_HZ_1000=y
# CONFIG_HZ_250 is not set
CONFIG_IRQ_FORCED_THREADING_DEFAULT=y
+# CONFIG_OPENNSL is not set
CONFIG_PREEMPT=y
# CONFIG_PREEMPT_VOLUNTARY is not set
CONFIG_N_GSM=m
CONFIG_OF=y
CONFIG_OMFS_FS=m
+# CONFIG_OPENNSL is not set
CONFIG_OSF_PARTITION=y
# CONFIG_PAGE_EXTENSION is not set
CONFIG_PARPORT=m
CONFIG_N_GSM=m
CONFIG_OF=y
CONFIG_OMFS_FS=m
+# CONFIG_OPENNSL is not set
CONFIG_OSF_PARTITION=y
CONFIG_PAGE_EXTENSION=y
CONFIG_PAGE_OFFSET=0xC0000000
CONFIG_OMAP_USB2=m
CONFIG_OMAP_WATCHDOG=m
CONFIG_OPAL_PRD=m
+CONFIG_OPENNSL_BCM_KNET=m
+CONFIG_OPENNSL_KERNEL_BDE=m
+CONFIG_OPENNSL_USER_BDE=m
CONFIG_OPENVSWITCH=m
CONFIG_OPENVSWITCH_GENEVE=m
CONFIG_OPENVSWITCH_GRE=m
CONFIG_N_GSM=m
# CONFIG_OF is not set
CONFIG_OMFS_FS=m
+# CONFIG_OPENNSL is not set
CONFIG_OSF_PARTITION=y
CONFIG_OUTPUT_FORMAT="elf32-i386"
CONFIG_PAGE_EXTENSION=y
CONFIG_N_GSM=m
CONFIG_OF=y
CONFIG_OMFS_FS=m
+# CONFIG_OPENNSL is not set
CONFIG_OSF_PARTITION=y
CONFIG_PARPORT=m
CONFIG_PATA_SIS=m
CONFIG_N_GSM=m
CONFIG_OF=y
CONFIG_OMFS_FS=m
+# CONFIG_OPENNSL is not set
CONFIG_OSF_PARTITION=y
# CONFIG_PAGE_EXTENSION is not set
CONFIG_PAGE_OFFSET=0xc000000000000000