1 # SPDX-License-Identifier: GPL-2.0 2 # 3 # Makefile for Kernel-based Virtual Machine module, HYP part 4 # 5 6 incdir := $(src)/include 7 subdir-asflags-y := -I$(incdir) 8 subdir-ccflags-y := -I$(incdir) 9 10 obj-$(CONFIG_KVM) += vhe/ nvhe/ pgtable.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.