/* SPDX-License-Identifier: BSD-2-Clause-Patent */ #include "buildinf.h" const char *compiler_flags = "compiler: information not available from edk2";