Andrew Walbran | 692b325 | 2019-03-07 15:51:31 +0000 | [diff] [blame] | 1 | # Copyright 2018 The Hafnium Authors. |
Andrew Scull | 1883487 | 2018-10-12 11:48:09 +0100 | [diff] [blame] | 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 | # 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 Scull | 23e93a8 | 2018-10-26 14:56:04 +0100 | [diff] [blame] | 15 | # Configuration of the build for the platform. |
Andrew Scull | 114096b | 2018-07-31 14:42:16 +0100 | [diff] [blame] | 16 | declare_args() { |
Andrew Scull | b401ba3 | 2018-11-09 10:30:54 +0000 | [diff] [blame] | 17 | # The name of the platform. |
| 18 | plat_name = "" |
| 19 | |
| 20 | # The architecture of the platform. |
| 21 | plat_arch = "" |
David Brazdil | 0dbb41f | 2019-09-09 18:03:35 +0100 | [diff] [blame] | 22 | |
| 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 Walbran | 4869936 | 2019-05-20 14:38:00 +0100 | [diff] [blame] | 27 | plat_console = "" |
Andrew Scull | b401ba3 | 2018-11-09 10:30:54 +0000 | [diff] [blame] | 28 | |
Andrew Scull | 3c25745 | 2019-11-26 13:32:50 +0000 | [diff] [blame] | 29 | # IOMMU driver to be used for the platform, specified as build target. |
| 30 | plat_iommu = "" |
| 31 | |
Andrew Walbran | de33f08 | 2018-12-07 14:10:11 +0000 | [diff] [blame] | 32 | # The number of pages to allocate for the hypervisor heap. |
| 33 | plat_heap_pages = 0 |
| 34 | |
Andrew Scull | 23e93a8 | 2018-10-26 14:56:04 +0100 | [diff] [blame] | 35 | # The maximum number of CPUs available on the platform. |
Andrew Walbran | 4869936 | 2019-05-20 14:38:00 +0100 | [diff] [blame] | 36 | plat_max_cpus = 1 |
Andrew Scull | 114096b | 2018-07-31 14:42:16 +0100 | [diff] [blame] | 37 | |
David Brazdil | a2f4521 | 2020-01-20 13:19:31 +0000 | [diff] [blame] | 38 | # The maximum allowed size of Hafnium's image in memory. Zero if don't care. |
| 39 | plat_max_image_size = 0 |
| 40 | |
Andrew Scull | 23e93a8 | 2018-10-26 14:56:04 +0100 | [diff] [blame] | 41 | # The maximum number of VMs required for the platform. |
Andrew Walbran | 7f904bf | 2019-07-12 16:38:38 +0100 | [diff] [blame] | 42 | plat_max_vms = 0 |
Andrew Scull | 114096b | 2018-07-31 14:42:16 +0100 | [diff] [blame] | 43 | } |