1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: GPL-2.0-only
5#
6
7cmake_minimum_required(VERSION 3.7.2)
8
9add_sources(
10    DEP "KernelArchArmV8a"
11    PREFIX src/arch/arm/armv/armv8-a/${KernelWordSize}
12    CFILES cache.c user_access.c
13    ASMFILES machine_asm.S
14)
15