1
# CONFIG_SUN3 is not set
2
# CONFIG_AMIGA is not set
3
# CONFIG_ATARI is not set
4
# CONFIG_MAC is not set
5
# CONFIG_APOLLO is not set
6
# CONFIG_VME is not set
8
# CONFIG_DIO is not set
9
# CONFIG_SUN3X is not set
10
# CONFIG_Q40 is not set
17
CONFIG_M68KFPU_EMU_EXTRAPREC=y
18
# CONFIG_M68KFPU_EMU_ONLY is not set
20
# CONFIG_IDE is not set
26
# CONFIG_IPX_INTERN is not set
28
# CONFIG_KEYBOARD_ATKBD is not set
29
# CONFIG_KEYBOARD_SUNKBD is not set
30
# CONFIG_KEYBOARD_HIL_OLD is not set
31
# CONFIG_KEYBOARD_HIL is not set
34
# CONFIG_MOUSE_HIL is not set
35
# CONFIG_INPUT_JOYSTICK is not set
36
# CONFIG_INPUT_MISC is not set
38
CONFIG_SERIO_SERPORT=m
39
# CONFIG_HP_SDC is not set
40
# CONFIG_HIL_MLC is not set
42
# CONFIG_SERIAL_8250 is not set
44
# CONFIG_FB is not set
45
# CONFIG_SOUND is not set
51
CONFIG_RPCSEC_GSS_KRB5=y
52
# CONFIG_PARTITION_ADVANCED is not set