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