This directory also contains the Python sources for hdrgen, which is what generates the headers public libc headers. The definitions for these headers are in the ``include`` directory. The ``.h.def`` files are the bases and the ``.yaml`` files are the contents.