mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-13 14:35:34 +00:00
7db602faec
* Move platform APIs to "legacy/" subdirectory * Rename old pc, imx53, and rpi platform_drv to "legacy_*_platform_drv" Fix #4359
13 lines
425 B
Makefile
13 lines
425 B
Makefile
INCLUDE_SUB_DIRS := platform_session \
|
|
legacy/imx53/platform_session \
|
|
legacy/rpi/platform \
|
|
legacy/rpi/platform_session \
|
|
legacy/x86/platform_session \
|
|
legacy/x86/platform_device
|
|
|
|
INCLUDE_DIRS := $(addprefix include/,$(INCLUDE_SUB_DIRS))
|
|
|
|
MIRRORED_FROM_REP_DIR := $(INCLUDE_DIRS)
|
|
|
|
include $(REP_DIR)/recipes/api/session.inc
|