Skip to content

Commit

Permalink
Docs: sentence case titles
Browse files Browse the repository at this point in the history
Sentence case titles are easier to read so changed those that didn't
conform. Also choose "Sonata software" as name of repo.
  • Loading branch information
marnovandermaas committed Jan 17, 2025
1 parent bd622e9 commit c3b2a01
Show file tree
Hide file tree
Showing 10 changed files with 18 additions and 16 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Sonata Software
# Sonata software

This repository contains software, build flows and examples for the [Sonata System][] running on the [Sonata PCB][].
For a guide on how to get up and running on building software for the sonata board see the [getting started guide][].
Expand Down
10 changes: 5 additions & 5 deletions SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,17 +2,17 @@
Copyright lowRISC Contributors.
SPDX-License-Identifier: Apache-2.0
-->
# Sonata Software
# Sonata software

[Introduction](./README.md)

- [Getting started](./doc/getting-started.md)
- [Running Sonata Software](./doc/guide/running-software.md)
- [Running Sonata software](./doc/guide/running-software.md)
- [Using Sonata IO](./doc/guide/sonata-io.md)

- [Exploring the CHERIoT RTOS](./doc/exploring-cheriot-rtos.md)
- [Auditing Firmware](./doc/auditing-firmware.md)
- [Auditing firmware](./doc/auditing-firmware.md)

- [Exercises](./exercises/README.md)
- [Hardware Access Control Exercise](./exercises/hardware_access_control/README.md)
- [Firmware Auditing Exercise](./exercises/firmware_auditing/README.md)
- [Hardware access control exercise](./exercises/hardware_access_control/README.md)
- [Firmware auditing exercise](./exercises/firmware_auditing/README.md)
2 changes: 1 addition & 1 deletion book.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
language = "en"
multilingual = false
src = "."
title = "Sonata Software"
title = "Sonata software"

[output.html]
git-repository-url = "https://github.com/lowRISC/sonata-software"
Expand Down
2 changes: 1 addition & 1 deletion doc/auditing-firmware.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Auditing Firmware
# Auditing firmware

This documentation provides an introduction to CHERIoT Audit, alongside a quick guide on developing auditing policies with Rego.
You can find more comprehensive information about these tools in their relevant documentation:
Expand Down
5 changes: 3 additions & 2 deletions doc/exploring-cheriot-rtos.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Exploring CHERIoT RTOS
## CHERIoT RTOS Orientation

## CHERIoT RTOS orientation
All the software in this repository runs on the CHERIoT RTOS, which is pulled in at the root of this repository as a submodule named [`cheriot-rtos`].
The [CHERIoT Programmer's Guide] contains most of what a programmer would need to know to use the RTOS.

Expand All @@ -13,7 +14,7 @@ The drivers (structures that map onto a peripherals' MMIO) add functionality can
To explore the various utility libraries available, look through [`cheriot-rtos/sdk/include/`](../cheriot-rtos/sdk/include/).
When first starting to explore capabilities, the [`CHERI::Capability`](../cheriot-rtos/sdk/include/cheri.hh) class is useful for pointer introspection.

## Build System
## Build system

The CHERIoT RTOS uses [xmake][] as it's build system.
The main rules you'll use are *compartment* and *library*, for creating compartments and libraries, as well as the *firmware* rule for creating a firmware image.
Expand Down
2 changes: 1 addition & 1 deletion doc/guide/running-software.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Running Sonata Software
# Running Sonata software

You can either run software [on the sonata FPGA board](#running-on-the-sonata-fpga) or [in the sonata simulator](#running-in-the-simulator).
We recommend you focus on the FPGA as you get started and return to the simulator if you find it useful later.
Expand Down
5 changes: 3 additions & 2 deletions exercises/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,9 @@
Copyright lowRISC Contributors.
SPDX-License-Identifier: Apache-2.0
-->
# Sonata Software Exercises
## Building the Exercises
# Sonata software exercises

## Building the exercises

Assuming you've run through the [getting started guide][], you will have ran `xmake -P examples` and built the example firmware images.
To build all the exercises, simply substitute `examples` for `exercises`.
Expand Down
2 changes: 1 addition & 1 deletion exercises/hardware_access_control/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
Copyright lowRISC Contributors.
SPDX-License-Identifier: Apache-2.0
-->
# Hardware Access Control Exercise
# Hardware access control exercise

If you haven't already, please go to the '[building the exercises][]' section to see how the exercises are built.

Expand Down
2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# Copyright lowRISC Contributors.
# SPDX-License-Identifier: Apache-2.0
{
description = "Sonata Software";
description = "Sonata software";
inputs = {
sonata-system.url = "github:lowRISC/sonata-system";
lowrisc-nix.follows = "sonata-system/lowrisc-nix";
Expand Down
2 changes: 1 addition & 1 deletion tests/README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Sonata Software Tests
# Sonata software tests

These tests test the sonata system's hardware.
They are simple, only intended to catch regressions.
Expand Down

0 comments on commit c3b2a01

Please sign in to comment.