diff options
Diffstat (limited to 'cpukit/include/machine/_kernel_types.h')
-rw-r--r-- | cpukit/include/machine/_kernel_types.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/cpukit/include/machine/_kernel_types.h b/cpukit/include/machine/_kernel_types.h index a02f328aa2..d17be5e846 100644 --- a/cpukit/include/machine/_kernel_types.h +++ b/cpukit/include/machine/_kernel_types.h @@ -1,3 +1,12 @@ +/** + * @file + * + * @ingroup RTEMSImplKernel + * + * @brief This header file provides interfaces of the + * kernel functions. + */ + /*- * Copyright (c) 2016 embedded brains GmbH * All rights reserved. |