README.md
1<!--
2 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4 SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7# Object Sizes
8
9This directory provides a cmake target runs which runs the preprocessor over a
10yaml file to extract the preprocessed values from of specific object size
11constants from libsel4 to be passed to other tools which require knowledge of
12object sizes. This allows sizes to be evaluated with respect to the kernel
13configuration.
14
15The location of the preprocessed file in the build directory is then set in the
16FILE_PATH property of the object_sizes target.
17
18