genode/tool/builddir/build.conf/repos_x86

#
# Drivers for x86 PC
#
#REPOSITORIES += $(GENODE_DIR)/repos/pc

#
# Drivers ported from the OpenBSD
#
#REPOSITORIES += $(GENODE_DIR)/repos/dde_bsd

#
# Drivers ported from iPXE
#
#REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe
Introduce pc repository for PC board support Fix genodelabs/genode#4415 2022-02-09 14:25:54 +01:00			`#`
			`# Drivers for x86 PC`
			`#`
			`#REPOSITORIES += $(GENODE_DIR)/repos/pc`

dde_bsd: add audio drivers ported from OpenBSD These audio drivers enable support for Intel HD Audio (Azalia) and Ensoniq AudioPCI (ES1370) compatible soundcards. They are ported from OpenBSD 5.7. Fixes #1498. 2015-04-29 17:00:04 +02:00			`#`
			`# Drivers ported from the OpenBSD`
			`#`
			`#REPOSITORIES += $(GENODE_DIR)/repos/dde_bsd`

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`
Add unified build directories to create_builddir This patch makes the benefit of the recently introduced unified Genode ABI available to developers by enabling the use of multiple kernels from within a single build directory. The create_builddir tool has gained a new set of kernel-agnostic platform arguments such as x86_32, or panda. Most build targets within directories are in principle compatible with all kernels that support the selected hardware platform. To execute a scenario via the run tool, one has to select the kernel to use by setting the 'KERNEL' argument in the build configuration (etc/build.conf). Alternatively, the 'KERNEL' can be specified as command-line argument of the Genode build system, e.g.: make run/log KERNEL=nova This allows us to easily switch from one kernel to another without rebuilding any Genode component except for the very few kernel-specific ones. The new version of the 'create_builddir' tool is still compatible with the old version. The old kernel-specific build directories can still be created. However, those variants will eventually be removed. Note that the commit removes the 'ports-foc' repository from the generated 'build.conf' files. As this is only meaningful for 'foc', I did not want to include it in the list of regular repositories (as visible in a 'x86_32' build directory). Hence, the repository must now be manually added in order to use L4Linux. Issue #2190 2016-12-21 08:16:12 +01:00