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/tool/builddir/etc/build.conf.drivers_x86

20 lines
375 B
Plaintext
Raw Normal View History

Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
New DDE-Linux-based USB driver The new 'dde_linux' repository will host device drivers ported from the Linux kernel. In contrast to the original 'linux_drivers' repository, 'dde_linux' does not contain any 3rd-party source code. To download the Linux kernel source code and extract the drivers, execute the 'make prepare' rule of the top-level Makefile. The initial version of the 'dde_linux' repository comes with an USB driver. The porting methodology follows the path of the Intel GEM port. Instead of attempting to provide a generic Linux environment that works across drivers, each driver comes with a specially tailored DDE. The DDE consists of Genode-specific implementations of Linux API functions as declared in 'lx_emul.h'. Most of these functions are dummies that must merely be provided to resolve dependencies at the linking stage. They are called by unused code-paths. As of now, the USB driver support UHCI, EHCI on the x86_32 platform. I exposes USB HID devices and USB storage devices via Genode's input-session and block-session respectively. The USB driver is accompanied with two run scripts 'run/usb_hid.run' and 'run/usb_storage.run'.
2012-05-24 21:31:02 +02:00
#
# Additional drivers ported from the Linux kernel (audio, Intel GEM)
#
# Not supported on the ARM architecture.
#
# This repository is deprecated.
#
Move repositories to 'repos/' subdirectory This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082
2014-05-07 11:48:19 +02:00
#REPOSITORIES += $(GENODE_DIR)/repos/linux_drivers
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
OSS: Open Sound System server Currently supports Intel HDA, AC97, and ES1370 audio cards. See README for further details.
2012-10-23 15:21:43 +02:00
#
# Drivers ported from the Open Sound System
#
Move repositories to 'repos/' subdirectory This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082
2014-05-07 11:48:19 +02:00
#REPOSITORIES += $(GENODE_DIR)/repos/dde_oss
OSS: Open Sound System server Currently supports Intel HDA, AC97, and ES1370 audio cards. See README for further details.
2012-10-23 15:21:43 +02:00
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
#
# Drivers ported from iPXE
#
Move repositories to 'repos/' subdirectory This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082
2014-05-07 11:48:19 +02:00
#REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe
Reference in New Issue Copy Permalink