os: add include/pci/* to os api

Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski
2022-09-26 15:59:36 +02:00
committed by Christian Helmuth
parent 665a551fcd
commit c7c460f6e0
4 changed files with 3 additions and 14 deletions

View File

@ -1,6 +1,2 @@
SRC_DIR = src/app/pci_decode
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
content: $(GENODE_DIR)/repos/os/include/pci
mkdir -p include
cp -r $< include/

View File

@ -1,13 +1,10 @@
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
GENERIC_SRC_DIR := $(GENODE_DIR)/repos/os/src/drivers/platform
GENERIC_INC_DIR := $(GENODE_DIR)/repos/os/include/pci
GENERIC_SRC_FILES := $(filter-out target.mk,$(filter-out main.cc,$(notdir $(wildcard $(GENERIC_SRC_DIR)/*.*))))
GENERIC_HDR_FILES := $(notdir $(wildcard $(GENERIC_INC_DIR)/*.h))
MIRROR_FROM_OS_DIR := $(addprefix src/drivers/platform/,$(GENERIC_SRC_FILES)) \
$(addprefix include/pci/,$(GENERIC_HDR_FILES))
MIRROR_FROM_OS_DIR := $(addprefix src/drivers/platform/,$(GENERIC_SRC_FILES))
content: $(MIRROR_FROM_OS_DIR)