ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 00:24:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/pc/src/pc_linux/target.inc

48 lines
1.1 KiB
PHP
Raw Normal View History

Provide pc specific lx_emul API 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
2022-02-11 14:52:13 +01:00
#
# Linux kernel configuration
#
# kernel fundamentals
LX_ENABLE += TTY SERIAL_EARLYCON SERIAL_OF_PLATFORM PRINTK HAS_IOMEM
pc_linux: enable NO_HZ_IDLE the option enables support to stop periodic ticking when in idle task. Adjust dummies of intel_fb, wifi, usb drivers accordingly. Issue #4540
2022-06-17 15:18:17 +02:00
# support disabling ticking during idle
LX_ENABLE += NO_HZ_IDLE
Provide pc specific lx_emul API 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
2022-02-11 14:52:13 +01:00
# 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
pc_linux: add ACPI config required by the upcoming update of the intel display driver. Make this addition explicit, because it triggers adjustment also on the new pc_usb_host_drv. Issue #4450
2022-03-15 13:57:30 +01:00
# ACPI support
LX_ENABLE += ACPI
pc_linux: add wlan stuff to config Issue #4455.
2022-02-10 18:08:43 +01:00
# general network and WLAN support
pc: centralize initcall header 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.
2022-05-03 17:17:38 +02:00
LX_ENABLE += NET NETDEVICES PACKET
pc_linux: add wlan stuff to config Issue #4455.
2022-02-10 18:08:43 +01:00
LX_ENABLE += WLAN CFG80211 MAC80211
pc_wifi_drv: add RFKILL support This commits hooks up a RFKILL management to the driver. The 'README' contains instructions on how to use it. Fixes #4506.
2022-04-04 17:15:59 +02:00
LX_ENABLE += RFKILL
pc_linux: add wlan stuff to config Issue #4455.
2022-02-10 18:08:43 +01:00
# iwlwifi
LX_ENABLE += WLAN_VENDOR_INTEL IWLWIFI IWLDVM IWLMVM
Provide pc specific lx_emul API 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
2022-02-11 14:52:13 +01:00
# USB host-controller support
LX_ENABLE += USB_SUPPORT USB USB_ARCH_HAS_HCD USB_XHCI_HCD USB_EHCI_HCD USB_OHCI_HCD
pc: centralize initcall header 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.
2022-05-03 17:17:38 +02:00
LX_ENABLE += USB_PCI USB_UHCI_HCD USB_USBNET
Provide pc specific lx_emul API 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
2022-02-11 14:52:13 +01:00
pc: update intel display driver Fixes #4450
2022-01-21 11:07:28 +01:00
# Intel framebuffer
LX_ENABLE += DRM DRM_I915
# to automatically set up screen mode at boot time
LX_ENABLE += FB
Provide pc specific lx_emul API 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
2022-02-11 14:52:13 +01:00
# 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
Reference in New Issue Copy Permalink