add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/drivers/virt/Kconfig
..
..
@@ -1,10 +1,11 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 #
2
3
 # Virtualization support drivers
3
4
 #
4
5
 
5
6
 menuconfig VIRT_DRIVERS
6
7
 	bool "Virtualization drivers"
7
-	---help---
8
+	help
8
9
 	  Say Y here to get to see options for device drivers that support
9
10
 	  virtualization environments.
10
11
 
..
..
@@ -31,4 +32,6 @@
31
32
 	     partition shuts down.
32
33
 
33
34
 source "drivers/virt/vboxguest/Kconfig"
35
+
36
+source "drivers/virt/nitro_enclaves/Kconfig"
34
37
 endif