Add the RTEMS Kernel section back in.

2025-10-19 14:17:44 +08:00 · 2016-07-04 12:45:57 +10:00
parent f92357f36e
commit ae7a139ad6
3 changed files with 435 additions and 0 deletions
--- a/user/conf.py
+++ b/user/conf.py
@@ -27,6 +27,7 @@ exclude_patterns = ['config/build.rst',
                    'installation/prefixes-sandboxing.rst',
                    'installation/releases.rst',
                    'installation/developer.rst',
+                    'installation/kernel.rst',

                    'tools/build.rst',
                    'tools/simulation.rst',