-
Notifications
You must be signed in to change notification settings - Fork 1
/
Makefile.conf.example
59 lines (48 loc) · 2.14 KB
/
Makefile.conf.example
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
50
51
52
53
54
55
56
57
58
59
#
# Makefile.conf
#
# Copyright (C) 2019-2024 Udo Steinberg, BlueRock Security, Inc.
#
# This file is part of the NOVA microhypervisor.
#
# NOVA is free software: you can redistribute it and/or modify it
# under the terms of the GNU General Public License version 2 as
# published by the Free Software Foundation.
#
# NOVA is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License version 2 for more details.
#
#############################################################################
# Makefile.conf can be used to configure the build environment permanently. #
# See Makefile.conf.example for an up-to-date configuration template. #
#############################################################################
# Configure target architecture
# Permitted values are: aarch64, x86_64
ARCH ?= x86_64
# Configure board (for aarch64)
# Permitted values are listed in README.md
BOARD ?= acpi
# Configure compiler type
# Permitted values are: gcc
COMP ?= gcc
# Configure control-flow protection
# Permitted values are: none, branch, return, full
CFP ?= none
# Configure build directory
BLD_DIR ?= build-$(ARCH)
# Configure install directory
INS_DIR ?= /home/tftp/nova
# Configure cross-toolchain prefix (see README.md)
PREFIX_aarch64 ?= # set your own, e.g. /opt/aarch64-linux/bin/aarch64-linux-
PREFIX_x86_64 ?= # set your own, e.g. /opt/x86_64-linux/bin/x86_64-linux-
# Configure architecture-specific ELF image tweaks
H2E_aarch64 ?= ln -frs
H2E_x86_64 ?= $(TGT_OC) -O elf32-i386
# Configure architecture-specific BIN image tweaks
H2B_aarch64 ?= $(TGT_OC) -O binary
H2B_x86_64 ?= $(TGT_OC) -O binary
# Configure architecture-specific run targets
RUN_aarch64 ?= qemu-system-aarch64 -m 512 -smp 4 -no-reboot -display none -serial mon:stdio -cpu max -M virt,virtualization=on,secure=off,gic-version=2,iommu=smmuv3 -kernel
RUN_x86_64 ?= qemu-system-x86_64 -m 512 -smp 4 -no-reboot -display none -serial mon:stdio -cpu host,vmx -M q35,accel=kvm,kernel-irqchip=split -enable-kvm -device intel-iommu,intremap=on -kernel