in optee-utee-build/src/builder.rs [112:122]
fn write_header_file(&self, out: PathBuf) -> Result<(), Error> {
let out_header_file_name = out.join(match self.header_file_name.as_ref() {
Some(v) => v.as_str(),
None => DEFAULT_HEADER_FILE_NAME,
});
let mut buffer = File::create(out_header_file_name.clone())?;
let header_codes =
HeaderFileGenerator::new(self.edition.clone()).generate(&self.ta_config)?;
buffer.write_all(header_codes.as_bytes())?;
Ok(())
}