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.

File included from github repo edit