Florian Pose <fp@igh-essen.com> [Tue, 19 Jan 2010 15:15:57 +0100] rev 1773
Disable use of hrtimer for scheduling by default. Does not work on some PPC targets.
Florian Pose <fp@igh-essen.com> [Wed, 13 Jan 2010 16:39:56 +0100] rev 1772
Improved installation chapter.
Florian Pose <fp@igh-essen.com> [Wed, 13 Jan 2010 15:37:09 +0100] rev 1771
Auto-generate architecture pdf.