diff options
Diffstat (limited to 'cpukit/include/machine/_kernel_time.h')
| -rw-r--r-- | cpukit/include/machine/_kernel_time.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/cpukit/include/machine/_kernel_time.h b/cpukit/include/machine/_kernel_time.h index f0b6bdfc47..b96db23690 100644 --- a/cpukit/include/machine/_kernel_time.h +++ b/cpukit/include/machine/_kernel_time.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. |