# 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: "IDK"
  path: /docs/development/idk
- title: "Download the Fuchsia IDK"
  path: /docs/development/idk/download.md
- title: "IDK layout"
  path: /docs/development/idk/layout.md
- title: "IDK standards"
  path: /docs/development/idk/standards.md
- title: Using the Core IDK
  section:
    - title: "Integrating the IDK into your build environment"
      path: /docs/development/idk/integrating.md
    - title: "Understanding IDK metadata"
      path: /docs/development/idk/understanding_metadata.md
    - title: "\"Core\" IDK Documentation"
      path: /docs/development/idk/documentation/README.md
    - title: "Bootserver"
      path: /docs/development/idk/documentation/bootserver.md
    - title: "Compilation"
      path: /docs/development/idk/documentation/compilation.md
    - title: "Debugger"
      path: /docs/development/idk/documentation/debugger.md
    - title: "Devices"
      path: /docs/development/idk/documentation/devices.md
    - title: "Device discovery"
      path: /docs/development/idk/documentation/device_discovery.md
    - title: "Logging"
      path: /docs/development/idk/documentation/logging.md
    - title: "Packages"
      path: /docs/development/idk/documentation/packages.md
    - title: "SSH"
      path: /docs/development/idk/documentation/ssh.md
- title: GN C++ Frontend SDK
  section:
  - title: "Getting started"
    path: /docs/development/idk/gn