summaryrefslogtreecommitdiffstats
path: root/doc/user/conf.t
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user/conf.t')
-rw-r--r--doc/user/conf.t7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/user/conf.t b/doc/user/conf.t
index 4cacefb99a..65dba82226 100644
--- a/doc/user/conf.t
+++ b/doc/user/conf.t
@@ -306,6 +306,13 @@ This device driver simply provides entry points that return
successful and is primarily a test fixture.
By default, this is not defined.
+@findex CONFIGURE_APPLICATION_EXTRA_DRIVERS
+@item @code{CONFIGURE_APPLICATION_EXTRA_DRIVERS}
+is defined if the application has device drivers it needs to
+include in the Device Driver Table. This should be defined
+to the set of device driver entries that will be placed in
+the table. By default, this is not defined.
+
@end itemize
@subsection Multiprocessing Configuration