add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 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/