forked from pulp-platform/snitch
-
Notifications
You must be signed in to change notification settings - Fork 0
/
mkdocs.yml
50 lines (47 loc) · 1.43 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
# Copyright 2020 ETH Zurich and University of Bologna.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
site_name: Snitch
theme:
name: material
icon:
repo: fontawesome/brands/github
repo_url: https://github.com/pulp-platform/snitch
repo_name: pulp-platform/snitch
markdown_extensions:
- admonition
- def_list
- pymdownx.highlight
- pymdownx.superfences
- pymdownx.tabbed
- pymdownx.emoji:
emoji_index: !!python/name:materialx.emoji.twemoji
emoji_generator: !!python/name:materialx.emoji.to_svg
nav:
- Home: index.md
- User Guide:
- Getting Started: ug/getting_started.md
- Trace Example: ug/example_trace.html
- Docker: ug/docker.md
- Directory Structure: ug/directory_structure.md
- Documentation: ug/documentation.md
- Systems:
- Snitch Cluster:
- Guide: ug/snitch_cluster.md
- Schema: schema-doc/snitch_cluster.md
- Occamy:
- Guide: ug/occamy.md
- Schema: schema-doc/occamy.md
- Reference Manual:
- Snitch: rm/snitch/index.md
- Snitch Cluster: rm/snitch_cluster/index.md
- Reqrsp Interface: rm/reqrsp_interface/index.md
- Custom Instructions: rm/custom_instructions.md
- Snitch Runtime:
- Pages: runtime/Pages/index.md
- Files: runtime/Files/index.md
- Classes: runtime/Classes/index.md
- Examples: runtime/Examples/index.md
- Modules: runtime/Modules/index.md
- Namespaces: runtime/Namespaces/index.md
# - Solder: rm/solder.md