Norman Feske 97a41394b4 Documentation changes on account of the book ... 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.		2016-05-26 15:54:16 +02:00
..
base	Unify ipc_msgbuf.h across base platforms	2016-04-25 10:47:59 +02:00
kernel	hw: use kernel timer for timer driver	2016-05-26 15:54:15 +02:00
spec	Prevent compiler warnings	2016-04-25 10:48:02 +02:00
vm_session	Documentation changes on account of the book	2016-05-26 15:54:16 +02:00