Boot Linux faster!

Check our new training course

Boot Linux faster!

Check our new training course
and Creative Commons CC-BY-SA
lecture and lab materials

Bootlin logo

Elixir Cross Referencer

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