| # 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 |