1# 2# Copyright 2017, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the GNU General Public License version 2. Note that NO WARRANTY is provided. 8# See "LICENSE_GPLv2.txt" for details. 9# 10# @TAG(DATA61_GPL) 11# 12 13cmake_minimum_required(VERSION 3.7.2) 14 15add_sources( 16 DEP "KernelArchArmV7a" 17 PREFIX src/arch/arm/armv/armv7-a 18 CFILES 19 benchmark.c 20 cache.c 21 user_access.c 22 tlb.c 23 ASMFILES 24 machine_asm.S 25) 26