| <!-- | |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| SPDX-License-Identifier: CC-BY-SA-4.0 | |
| --> | |
| # Object Sizes | |
| This directory provides a cmake target runs which runs the preprocessor over a | |
| yaml file to extract the preprocessed values from of specific object size | |
| constants from libsel4 to be passed to other tools which require knowledge of | |
| object sizes. This allows sizes to be evaluated with respect to the kernel | |
| configuration. | |
| The location of the preprocessed file in the build directory is then set in the | |
| FILE_PATH property of the object_sizes target. | |