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
..
doc	tool: remove deprecated 'make prepare' mechanism	2016-03-17 17:02:04 +01:00
include	Documentation changes on account of the book	2016-05-26 15:54:16 +02:00
lib	hw: use kernel timer for timer driver	2016-05-26 15:54:15 +02:00
mk/spec	hw_zynq: refactor specs	2016-04-25 10:48:00 +02:00
ports	Relax tool checks of Muen port	2016-02-26 11:36:55 +01:00
run	hw: add dummy config to kernel tests	2016-05-26 15:54:15 +02:00
src	hw: use kernel timer for timer driver	2016-05-26 15:54:15 +02:00