From 3d42cb0693d89dc74623bd6f4db7eeea94cf155a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 15 Aug 2013 11:05:59 +0200
Subject: [PATCH] doc/getting_started.txt: Mention VESA driver

---
 doc/getting_started.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/doc/getting_started.txt b/doc/getting_started.txt
index ff367df7b..f377a5472 100644
--- a/doc/getting_started.txt
+++ b/doc/getting_started.txt
@@ -72,6 +72,16 @@ you should revisit first when exploring the base platform. Additionally, most
 'base-<platform>' directories provide more in-depth information within their
 respective 'doc/' subdirectories.
 
+For the VESA driver on x86, the x86emu library is required and can be
+downloaded and prepared by invoking the following command from within the
+'libports' directory:
+
+! make prepare PKG=x86emu
+
+Also uncomment the following line in 'etc/build.conf'
+
+! REPOSITORIES += $(GENODE_DIR)/libports
+
 Now that the base platform is prepared, the 'create_builddir' tool can be used
 to create a build directory for your platform of choice by giving the platform
 as argument. To see the list of available platforms, execute 'create_builddir'