Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/generate-osx-source-and-headers.py

Cross Reference: generate-osx-source-and-headers.py

xref: /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/generate-osx-source-and-headers.py