# Copyright 2017 The Fuchsia Authors
#
# Use of this source code is governed by a MIT-style
# license that can be found in the LICENSE file or at
# https://opensource.org/licenses/MIT

LOCAL_DIR := $(GET_LOCAL_DIR)

MODULE := $(LOCAL_DIR)

MODULE_SRCS := \
	$(LOCAL_DIR)/el2.S \
	$(LOCAL_DIR)/el2_cpu_state.cpp \
	$(LOCAL_DIR)/gich_state_test.cpp \
	$(LOCAL_DIR)/guest.cpp \
	$(LOCAL_DIR)/vcpu.cpp \
	$(LOCAL_DIR)/vmexit.cpp \
	$(LOCAL_DIR)/gic/gicv2.cpp \
	$(LOCAL_DIR)/gic/gicv3.cpp \
	$(LOCAL_DIR)/gic/el2.S \
	kernel/lib/unittest \

include make/module.mk