mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
97a41394b4
This patch removes the outdates doc/architecture.txt since the topics are covered by the book. We keep repos/os/doc/init.txt because it contains a few details not present in the book (yet). The patch streamlines the terminology a bit. Furthermore, it slightly adjusts a few source-code comments to improve the book's functional specification chapter. |
||
---|---|---|
.. | ||
init.txt |