From aa2511e209c2624d7e80ed363975b0a8d9830fdd Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Wed, 30 Sep 2020 17:06:33 +0200 Subject: [PATCH] platform_drv: make it available for arm_64 generic Ref #3825 --- repos/os/src/drivers/platform/spec/arm_64/target.mk | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 repos/os/src/drivers/platform/spec/arm_64/target.mk diff --git a/repos/os/src/drivers/platform/spec/arm_64/target.mk b/repos/os/src/drivers/platform/spec/arm_64/target.mk new file mode 100644 index 0000000000..33d8529880 --- /dev/null +++ b/repos/os/src/drivers/platform/spec/arm_64/target.mk @@ -0,0 +1,7 @@ +TARGET = platform_drv +REQUIRES = arm_64 +SRC_CC = device.cc device_component.cc device_model_policy.cc main.cc session_component.cc root.cc +INC_DIR = $(PRG_DIR)/../../spec/arm +LIBS = base + +vpath %.cc $(PRG_DIR)/../../spec/arm