diff options
Diffstat (limited to 'cpukit/include/machine/_kernel_types.h')
| -rw-r--r-- | cpukit/include/machine/_kernel_types.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cpukit/include/machine/_kernel_types.h b/cpukit/include/machine/_kernel_types.h index d1889c75ef..98f0366b64 100644 --- a/cpukit/include/machine/_kernel_types.h +++ b/cpukit/include/machine/_kernel_types.h @@ -1,5 +1,12 @@ /* SPDX-License-Identifier: BSD-2-Clause */ +/** + * @file + * + * @brief This header file provides type definitions for the kernel space + * (_KERNEL is defined before including <sys/types.h>). + */ + /* * Copyright (C) 2016 embedded brains GmbH * |