/*
 * Copyright (c) 2015 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef _ZEPHYR__H
#define _ZEPHYR__H

#include <kernel.h>

#ifdef CONFIG_MDEF
#include <sysgen.h>
#endif

#endif /* _ZEPHYR__H */