blob: 7ff4b5abf593eeeec23f9914af4756609c71b8df [file] [log] [blame]
Andrew Walbran692b3252019-03-07 15:51:31 +00001# Copyright 2018 The Hafnium Authors.
Andrew Scull18834872018-10-12 11:48:09 +01002#
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# https://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
Andrew Scull23e93a82018-10-26 14:56:04 +010015# Configuration of the build for the platform.
Andrew Scull114096b2018-07-31 14:42:16 +010016declare_args() {
Andrew Scullb401ba32018-11-09 10:30:54 +000017 # The name of the platform.
18 plat_name = ""
19
20 # The architecture of the platform.
21 plat_arch = ""
David Brazdil0dbb41f2019-09-09 18:03:35 +010022
23 # Boot flow driver to be used by the platform, specified as build target.
24 plat_boot_flow = ""
25
26 # Console driver to be used for the platform, specified as build target.
Andrew Walbran48699362019-05-20 14:38:00 +010027 plat_console = ""
Andrew Scullb401ba32018-11-09 10:30:54 +000028
Andrew Scull3c257452019-11-26 13:32:50 +000029 # IOMMU driver to be used for the platform, specified as build target.
30 plat_iommu = ""
31
Andrew Walbrande33f082018-12-07 14:10:11 +000032 # The number of pages to allocate for the hypervisor heap.
33 plat_heap_pages = 0
34
Andrew Scull23e93a82018-10-26 14:56:04 +010035 # The maximum number of CPUs available on the platform.
Andrew Walbran48699362019-05-20 14:38:00 +010036 plat_max_cpus = 1
Andrew Scull114096b2018-07-31 14:42:16 +010037
Andrew Scull23e93a82018-10-26 14:56:04 +010038 # The maximum number of VMs required for the platform.
Andrew Walbran7f904bf2019-07-12 16:38:38 +010039 plat_max_vms = 0
Andrew Scull114096b2018-07-31 14:42:16 +010040}