/* microkernel.h - public API for microkernel */
/*
* Copyright (c) 1997-2015, Wind River Systems, Inc.
*
* SPDX-License-Identifier: Apache-2.0
*/
#ifndef _MICROKERNEL_H
#define _MICROKERNEL_H
#include <nanokernel.h>
#endif /* _MICROKERNEL_H */