include/microkernel.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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