1# Copyright (C) 2023 The Android Open Source Project 2# 3# Licensed under the Apache License, Version 2.0 (the "License"); 4# you may not use this file except in compliance with the License. 5# You may obtain a copy of the License at 6# 7# http://www.apache.org/licenses/LICENSE-2.0 8# 9# Unless required by applicable law or agreed to in writing, software 10# distributed under the License is distributed on an "AS IS" BASIS, 11# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12# See the License for the specific language governing permissions and 13# limitations under the License. 14# 15 16ARM64_BOOT_PROTOCOL := X0_DTB 17 18# Derive RPMB key using HKDF 19WITH_HKDF_RPMB_KEY ?= true 20 21# Always allow provisioning for emulator builds 22STATIC_SYSTEM_STATE_FLAG_PROVISIONING_ALLOWED := 1 23 24LIB_SM_ENABLED := false 25WITH_TRUSTY_VIRTIO_IPC_DEV := false 26 27# Disable for quicker boot since the uart output is much slower than the smc to el3 28GENERIC_ARM64_DEBUG := UART 29 30GIC_VERSION := 3 31# TODO(b/383197438): Disable SMP until we have code to enable secondary CPUs 32SMP_MAX_CPUS := 1 33GLOBAL_DEFINES += ARM_GIC_SELECTED_IRQ_GROUP=GRP1NS 34TIMER_ARM_GENERIC_SELECTED ?= CNTV 35 36# Enable MMIO guard 37MMIO_GUARD_ENABLED ?= true 38 39TRUSTY_VM_GUEST := true 40GLOBAL_DEFINES += TRUSTY_VM_GUEST=1 41