/* 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 */