diff --git a/doc/getting_started.txt b/doc/getting_started.txt index 520dd1f62d..70569c418d 100644 --- a/doc/getting_started.txt +++ b/doc/getting_started.txt @@ -50,9 +50,17 @@ This creates a new build directory for building x86_64 binaries in './build'. The build system creates unified binaries that work on the given architecture independent from the underlying base platform, in this case Linux. -To give Genode a try, build and execute a simple demo scenario via: +Now change into the fresh build directory: ! cd build/x86_64 + +Please uncomment the following line in 'etc/build.conf' to make the +build process as smooth as possible. + +! RUN_OPT += --depot-auto-update + +To give Genode a try, build and execute a simple demo scenario via: + ! make KERNEL=linux BOARD=linux run/demo By invoking 'make' with the 'run/demo' argument, all components needed by the diff --git a/tool/run/depot.inc b/tool/run/depot.inc index b0210e1260..7a25196308 100644 --- a/tool/run/depot.inc +++ b/tool/run/depot.inc @@ -444,12 +444,12 @@ proc check_for_missing_depot_archives { } { if {[llength $local_user_archives]} { append create_args " CROSS_DEV_PREFIX=[cross_dev_prefix]" - puts stderr "You may create the following archives locally:\n" + puts stderr "You may create the following archives locally by executing:\n" puts stderr " [genode_dir]/tool/depot/create $local_user_archives$create_args\n" } if {[llength $foreign_archives]} { - puts stderr "You may try to download the following archives:\n" + puts stderr "You may try to download the following archives by executing:\n" puts stderr " [genode_dir]/tool/depot/download $foreign_archives\n" }