kernelconfig_penguin

CONFIG_USB_ARCH_HAS_OHCI (not configurable)

configname: CONFIG_USB_ARCH_HAS_OHCI

Linux Kernel Configuration
└─> Device Drivers
└─> USB_ARCH_HAS_OHCI