#Copyright 2020 The Fuchsia Authors. All rights reserved.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.

# Please, read https://fuchsia.dev/fuchsia-src/community/contribute/docs/documentation_navigation_toc
# before making changes to this file, and add a member of the fuchsia.dev
# team as reviewer.
toc:
- title: "Overview"
  path: /docs/reference/kernel/README.md
- title: "Kernel command line options"
  path: /docs/reference/kernel/kernel_cmdline.md
- title: "Kernel boot options (not yet in use: TODO(fxbug.dev/53594))"
  path: /docs/gen/boot-options.md
- title: "Symbolizer markup format"
  path: /docs/reference/kernel/symbolizer_markup.md