| <!-- |
| 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. |
| |
