sel4bench/Makefile at master · vincenthouyi/sel4bench · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#
# Copyright 2017, Data61
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
# ABN 41 687 119 230.
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(DATA61_BSD)
#

lib-dirs:=libs

VERSION = 1
PATCHLEVEL = 0
SUBLEVEL = 0
EXTRAVERSION = 0

# The main target we want to generate
all: app-images

-include .config

export TIMING_PMC0_EVENT?=SEL4BENCH_EVENT_CACHE_L1D_MISS
export TIMING_PMC1_EVENT?=SEL4BENCH_EVENT_CACHE_L1I_MISS
export DEFINES+=TIMING_PMC0_EVENT=$(TIMING_PMC0_EVENT)
export DEFINES+=TIMING_PMC1_EVENT=$(TIMING_PMC1_EVENT)

include tools/common/project.mk

# Some example qemu invocations

simulate-kzm:
	qemu-system-arm -nographic -M kzm \
		-kernel images/sel4bench-image-arm-imx31

simulate-beagle:
	beagle_run_elf images/sel4bench-image-arm-omap3

simulate-ia32:
	qemu-system-i386 \
		-m 512 -nographic -kernel images/kernel-ia32-pc99 \
		-initrd images/sel4bench-image-ia32-pc99

simulate-x86_64:
	qemu-system-x86_64 \
		-m 512 -nographic -kernel images/kernel-x86_64-pc99 \
		-initrd images/sel4bench-image-x86_64-pc99 -cpu Haswell