Stefan Agner 020a41fd18

Extend OS development docs (#1075) ...

* Add Operating System developer documentation

This moves some of the existing documentation from the operating-system
repository, updates it to reflect the current state and extens certain
parts.

* Reword and add deployment documentation

* Add new pages to Sidebar

* Reword and extend various aspects

* Small fixes here and there

* Clarify builds

2021-10-18 14:00:25 +02:00

..

board-metadata.md

Extend OS development docs (#1075)

2021-10-18 14:00:25 +02:00

debugging.md

Fix container name (#1059)

2021-09-18 09:28:46 +02:00

deployment.md

Extend OS development docs (#1075)

2021-10-18 14:00:25 +02:00

getting-started.md

Extend OS development docs (#1075)

2021-10-18 14:00:25 +02:00

partition.md

Extend OS development docs (#1075)

2021-10-18 14:00:25 +02:00