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 "KernelArchArmV7a"
11    PREFIX src/arch/arm/armv/armv7-a
12    CFILES cache.c user_access.c tlb.c
13    ASMFILES machine_asm.S
14)
15