init 5.10_rt with nkio nkmcu

hc

2023-12-06 d38611ca164021d018c1b23eee65bbebc09c63e0

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