From 92bb345374ea3982b40b10e7d50ecfc1cb4d2ed3 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 10 Dec 2015 11:40:26 +0100
Subject: Optional Extensions initialization

Update #2408.
---
 doc/user/init.t | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/user/init.t')

diff --git a/doc/user/init.t b/doc/user/init.t
index 5ab011e9e6..a373b4a996 100644
--- a/doc/user/init.t
+++ b/doc/user/init.t
@@ -168,6 +168,10 @@ upon the information in the Configuration Table, User Initialization Tasks
 Table, Device Driver Table, Multiprocessor Configuration Table, and the
 Multiprocessor Communications Interface (MPCI) Table.
 
+@item RTEMS_SYSINIT_USER_EXTENSIONS
+Initializes the @ref{User Extensions Manager} in case it is used by the
+application.
+
 @item RTEMS_SYSINIT_BSP_LIBC
 Depending on the application configuration the IO library and root filesystem
 is initialized.  This step is mandatory.
-- 
cgit v1.2.3