mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-14 15:02:04 +00:00
Instead of each driver providing its own header file use a central header as the initcall order header should cover _all_ provided initcalls resulting from the used 'pc_linux' kernel config. Note that the 'pc_linux' configuration was extended with the 'USB_USBNET' option because the module's initcall is needed for the Genode C API for USB glue-code and the 'PACKET' option needed by the wireless lan driver. The lack of theses options was not noticed as each driver used its own initcall header so far that stemmed from the initial porting effort. Issue #4500.
44 lines
990 B
PHP
44 lines
990 B
PHP
#
|
|
# Linux kernel configuration
|
|
#
|
|
|
|
# kernel fundamentals
|
|
LX_ENABLE += TTY SERIAL_EARLYCON SERIAL_OF_PLATFORM PRINTK HAS_IOMEM
|
|
|
|
# initrd support
|
|
LX_ENABLE += BINFMT_ELF BINFMT_SCRIPT BLK_DEV_INITRD
|
|
|
|
# UART device
|
|
LX_ENABLE += SERIAL_8250 SERIAL_8250_CONSOLE
|
|
|
|
# PCI support
|
|
LX_ENABLE += PCI
|
|
|
|
# ACPI support
|
|
LX_ENABLE += ACPI
|
|
|
|
# general network and WLAN support
|
|
LX_ENABLE += NET NETDEVICES PACKET
|
|
LX_ENABLE += WLAN CFG80211 MAC80211
|
|
|
|
# iwlwifi
|
|
LX_ENABLE += WLAN_VENDOR_INTEL IWLWIFI IWLDVM IWLMVM
|
|
|
|
# USB host-controller support
|
|
LX_ENABLE += USB_SUPPORT USB USB_ARCH_HAS_HCD USB_XHCI_HCD USB_EHCI_HCD USB_OHCI_HCD
|
|
LX_ENABLE += USB_PCI USB_UHCI_HCD USB_USBNET
|
|
|
|
# Intel framebuffer
|
|
LX_ENABLE += DRM DRM_I915
|
|
|
|
# to automatically set up screen mode at boot time
|
|
LX_ENABLE += FB
|
|
|
|
# mandatory fs support
|
|
LX_ENABLE += PROC_FS SYSFS
|
|
|
|
LX_DISABLE += CC_HAS_ASM_GOTO
|
|
|
|
# slim down kernel by removing superfluous drivers
|
|
LX_DISABLE += HID HID_GENERIC USB_HID VGA_CONSOLE DUMMY_CONSOLE NLS VGA_ARB DEBUG_LIST
|