genode/tool/builddir/etc/build.conf.drivers_x86


#
# Additional drivers ported from the Linux kernel (audio, Intel GEM)
#
# Not supported on the ARM architecture.
#
# This repository is deprecated.
#
#REPOSITORIES += $(GENODE_DIR)/linux_drivers

#
# Drivers ported from the Open Sound System
#
#REPOSITORIES += $(GENODE_DIR)/dde_oss

#
# Drivers ported from iPXE
#
#REPOSITORIES += $(GENODE_DIR)/dde_ipxe
Imported Genode release 11.11 2011-12-22 15:19:25 +00: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 19:31:02 +00:00			`#`
			`# Additional drivers ported from the Linux kernel (audio, Intel GEM)`
			`#`
			`# Not supported on the ARM architecture.`
			`#`
			`# This repository is deprecated.`
			`#`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`#REPOSITORIES += $(GENODE_DIR)/linux_drivers`

OSS: Open Sound System server Currently supports Intel HDA, AC97, and ES1370 audio cards. See README for further details. 2012-10-23 13:21:43 +00:00			`#`
			`# Drivers ported from the Open Sound System`
			`#`
			`#REPOSITORIES += $(GENODE_DIR)/dde_oss`

Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`#`
			`# Drivers ported from iPXE`
			`#`
			`#REPOSITORIES += $(GENODE_DIR)/dde_ipxe`