documentation/_quarto.yml at main · Distrinet-TACOS/documentation · GitHub

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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
project:
  type: website
  output-dir: public

year: 2023
lang: en-US

website:
  title: Mr-TEE

  page-footer:
    left: "Copyright {{< meta year >}}, [DistriNet](https://distrinet.cs.kuleuven.be)"
    right:
      - icon: github
        href: https://github.com/Distrinet-TACOS

  site-url: https://distrinet-tacos.github.io/documentation/

  repo-url: https://github.com/Distrinet-TACOS/documentation/
  repo-actions: [edit, issue]
  repo-branch: main

  page-navigation: true

  sidebar:
    search: true
    tools:
      - icon: github
        href: https://github.com/Distrinet-TACOS
    style: floating
    collapse-level: 3
    contents:
      - get-started.qmd
      - section: Qemu (Virtualized)
        contents:
          - qemu/prereq.qmd
          - text: Building & Running
            file: qemu/build.qmd
          - text: Developing
            file: qemu/developing.qmd
      - section: i.MX6
        contents:
          - imx6/prereq.qmd
          - text: Building & Running
            file: imx6/build.qmd
          - text: Developing
            file: imx6/developing.qmd
      - section: Reference
        contents:
          - file: reference/reference.qmd
          - text: Serial Interrupts in the Secure World
            file: reference/serial-itr.qmd

bibliography: mr-tee.bib
csl: templates/association-for-computing-machinery.csl
reference-section-title: References

callout-appearance: simple

format:
  html:
    theme:
      light:
        - cosmo
        - custom.scss
      dark:
        - superhero
        - custom.scss
    code-copy: true
    code-overflow: wrap
    toc: true
    code-block-bg: true
    code-block-border-left: primary
    highlight-style: github
    # link-external-icon: true
    link-external-newwindow: true