blob: d2a9b90027fff5670f4684644ec605a94db3f69e [file] [log] [blame]
/*
Define GENERATED_HEADER macro to allow c++ files to include headers
generated based on different configuration types.
*/
/* clang-format off */
#define GENERATED_HEADER(x) GENERATED_HEADER0(CONFIG_TYPE/x)
/* clang-format on */
#define GENERATED_HEADER0(x) GENERATED_HEADER1(x)
#define GENERATED_HEADER1(x) <x>
#include GENERATED_HEADER(path_to_objs.h)
#include "embedded_objs.h"
int main(int argc, char** argv)
{
(void)argc;
(void)argv;
unsigned char* ka = kernelA;
unsigned char* kb = kernelB;
return (ka != NULL && kb != NULL) ? 0 : 1;
}