Linux Audio
Check our new training course
Embedded Linux Audio
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 */