mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-12 05:55:37 +00:00
e72f39b484
This commit contains: * Minimal Linux kernel target: pc_linux * Library to generate a Linux build directory, config, generated headers * API depot package The actual work was provided by Josef Soentgen. Ref genodelabs/genode#4416
27 lines
625 B
PHP
27 lines
625 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
|
|
|
|
# USB host-controller support
|
|
LX_ENABLE += USB_SUPPORT USB USB_ARCH_HAS_HCD USB_XHCI_HCD USB_EHCI_HCD USB_OHCI_HCD
|
|
|
|
# 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
|