modify sin led gpio

hc

2024-05-13 9d77db3c730780c8ef5ccd4b66403ff5675cfe4e

 kernel/drivers/virt/Makefile
..
..
@@ -1,6 +1,9 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 #
2
3
 # Makefile for drivers that support virtualization
3
4
 #
4
5
 
5
6
 obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
6
7
 obj-y				+= vboxguest/
8
+
9
+obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves/