From 5c4f13e43395cf7ef566d4dcb17507d97be5568a Mon Sep 17 00:00:00 2001 From: zhaohaidan Date: Wed, 12 Jul 2023 12:33:46 +0800 Subject: [PATCH] port plat raspi --- plat/Makefile.uk | 1 + 1 file changed, 1 insertion(+) diff --git a/plat/Makefile.uk b/plat/Makefile.uk index 72155bd1..53e3568b 100644 --- a/plat/Makefile.uk +++ b/plat/Makefile.uk @@ -5,3 +5,4 @@ UK_PLAT_DRIVERS_BASE:= $(UK_PLAT_BASE)/drivers $(eval $(call _import_lib,$(UK_PLAT_BASE)/xen)) $(eval $(call _import_lib,$(UK_PLAT_BASE)/kvm)) $(eval $(call _import_lib,$(UK_PLAT_BASE)/linuxu)) +$(eval $(call _import_lib,$(UK_PLAT_BASE)/raspi)) -- Gitee