1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: BSD-2-Clause
5  */
6 
7 #pragma once
8 
9 /* Compile-time configuration parameters. Might be set by the build system. */
10 
11 #include <autoconf.h>
12