diff options
Diffstat (limited to '')
| -rw-r--r-- | cpukit/score/src/wkspace.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index fdc046313e..3ca3c8387e 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -1,8 +1,12 @@ /** - * @file + * @file * - * @brief Workspace Handler Support - * @ingroup RTEMSScoreWorkspace + * @ingroup RTEMSScoreWorkspace + * + * @brief This source file contains the definition of ::_Workspace_Area, the + * implementation of _Workspace_Handler_initialization(), + * _Workspace_Allocate(), and _Workspace_Free(), and the Workspace Handler + * system initialization. */ /* |