diff options
author | Chris Johns <chrisj@rtems.org> | 2016-07-04 12:45:57 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-07-04 12:45:57 +1000 |
commit | ae7a139ad67095dd8fae3380f091e21a4ec83287 (patch) | |
tree | b331283d203c86449403077345819ab666c8633a /user/installation/index.rst | |
parent | Make the Warning colours match the theme. (diff) | |
download | rtems-docs-ae7a139ad67095dd8fae3380f091e21a4ec83287.tar.bz2 |
Add the RTEMS Kernel section back in.
Diffstat (limited to '')
-rw-r--r-- | user/installation/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user/installation/index.rst b/user/installation/index.rst index 357fb8a..8c827bf 100644 --- a/user/installation/index.rst +++ b/user/installation/index.rst @@ -45,3 +45,4 @@ repositories for the tools and kernel. .. include:: prefixes-sandboxing.rst .. include:: releases.rst .. include:: developer.rst +.. include:: kernel.rst |