From 1717d117420f406df46e981a32f516730650e04c Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 26 Jan 2015 20:40:08 +0100 Subject: [PATCH] doc: mention packages needed for using the ports Fixes #1383 --- doc/getting_started.txt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/getting_started.txt b/doc/getting_started.txt index 31612bdce..d5d3d4514 100644 --- a/doc/getting_started.txt +++ b/doc/getting_started.txt @@ -21,12 +21,16 @@ Quick start to build Genode for Linux The best starting point for exploring Genode is to run it on Linux. Make sure that your system satisfies the following requirements: -* GNU 'Make' version 3.81 or newer +* GNU Make version 3.81 or newer * 'libSDL-dev' * 'tclsh' and 'expect' * 'byacc' (only needed for the L4/Fiasco kernel) * 'qemu' and 'genisoimage' (for testing non-Linux platforms via Qemu) +For using the entire collection of ported 3rd-party software, the following +packages should be installed additionally: 'autoconf2.64', 'autogen', 'bison', +'flex', 'g++', 'git', 'gperf', 'libxml2-utils', 'subversion', and 'xsltproc'. + Furthermore, you will need to install the official Genode toolchain, which you can download at [http://genode.org/download/tool-chain].