linux-sg2042/drivers/virt
..
Kconfig
Makefile
fsl_hypervisor.c