mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 22:00:32 +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.