summaryrefslogtreecommitdiffstats
path: root/cpukit/include/machine/_kernel_types.h
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2022-05-18 10:00:12 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2022-05-18 10:01:29 +0200
commitf49ef6b6cbb794f52b24eb6ec44e1783d5d007c5 (patch)
tree97991ba86aeb3494d631300c4f5c8873fa827d74 /cpukit/include/machine/_kernel_types.h
parentFix copyright notice of kernel space headers (diff)
downloadrtems-f49ef6b6cbb794f52b24eb6ec44e1783d5d007c5.tar.bz2
Add file descriptions to kernel space headers
Diffstat (limited to 'cpukit/include/machine/_kernel_types.h')
-rw-r--r--cpukit/include/machine/_kernel_types.h7
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
*