docs: Fix Hakefile comment

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

TN: first part of Device Queue technote

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

fixing build for the documentation

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Converted Filet-o-Fish Literate Haskell code into a Technical Note

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

doc: adding basic structure of tn-23

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

ARMv8 tech report

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Documentation: Refactor APIs into specification tech-note.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

sockeye: documentation, work-in-progress

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Removed reference to SCC docs.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.