genode/tool
Stefan Kalkowski 7f5bec5c0d tool/run: link core with debug symbols optionally
If there is no debug/core-<kernel>.o library available, e.g., when
running a scenario in a fresh build directory where core is provided
via a depot package, the build_core_image step of the run tool was
canceled in the past, when trying to access the non-existing library.
This commit changes the semantic of build_core_image to link a core
binary with debug symbols only when the designated library is in place.

This fixup is related to issue 
2017-11-06 13:57:22 +01:00
..
boot run: compress image.elf in NOVA boot dir 2017-10-05 17:40:02 +02:00
builddir run: update RISC-V run script support 2017-08-30 09:59:59 +02:00
depot depot: remove bin/<arch>/<api-version> subdir 2017-08-28 16:49:37 +02:00
ports tool/ports: bare tarball support 2017-08-30 09:59:57 +02:00
run tool/run: link core with debug symbols optionally 2017-11-06 13:57:22 +01:00
abi_symbols Generalize ABI mechanism to shared objects 2017-01-13 13:06:54 +01:00
autopilot autopilot: add information log file 2017-05-02 15:28:53 +02:00
autopilot.list run template for block-backed VFS plugins 2017-08-17 11:04:22 +02:00
beautify Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
create_builddir sel4: add Wandboard Quad (iMX6) support 2017-08-17 11:04:21 +02:00
create_grub2 create_grub2: ext2 default parameters for image 2015-03-13 12:17:26 +01:00
create_iso tool/create_iso: Make ISO creation tool configurable 2017-05-02 15:28:53 +02:00
create_uboot create_uboot: update to new build-directory naming 2017-01-31 12:01:11 +01:00
cxx_to_html Tool cxx_to_html to convert C++ source to HTML 2012-01-08 14:09:47 +01:00
download_hashver Hash verification tool 2013-06-10 10:44:09 +02:00
download_sigver GPG signature verification tool 2013-06-10 10:44:09 +02:00
fix_include_ifndef tool/fix_include_ifndef: consider license header 2014-01-27 18:54:05 +01:00
grub2-head.img create_grub2: ext2 default parameters for image 2015-03-13 12:17:26 +01:00
link.h tool_chain: cleanup 2015-05-26 09:39:49 +02:00
parse_cxx Improvements of parse_cxx tool 2015-04-09 16:04:45 +02:00
README tool: remove old ports tool remains 2016-08-29 17:29:35 +02:00
rump tool: kill all children of rump tool 2016-10-21 12:39:33 +02:00
rump_cgdconf tool: wrapper script for rumpkernel tools 2014-05-27 11:14:45 +02:00
tool_chain gcc: RISC-V 6.3.0 2017-05-31 13:16:20 +02:00
tool_chain_rump tools: strip rumpkernel based tools 2014-08-28 12:35:56 +02:00

This directory contains tools for managing and using the source code
of Genode.

:'create_builddir'

  The 'create_builddir' tool provides a convenient way to create build
  directories for different platforms. Its usage information is printed when
  starting the tool without arguments.

:'builddir/':

  This directory contains a Makefile template and configuration snippets used
  by the 'create_builddir' tool.

:'tool_chain':

  This tool downloads, builds, and installs the tool chain needed to build the
  Genode OS Framework. For getting usage information, start the tool without
  arguments.

:'create_iso':

  This simple tool helps to build bootable ISO images from your build of
  Genode. For getting usage information, start the tool without arguments.

:'create_grub2':

  This tool prepares a partitioned disk image with GRUB2 as boot
  loader.

:'grub2-head.img':

  This file is the head part of a partioned disk image including an
  installation of GRUB2 as boot loader. GRUB2 is available from
  http://www.gnu.org/software/grub/ and in major Linux distributions.
  Steps to reproduce the image creation can be found in
  'create_grub2'.

:'beautify':

  Beautify is a coding-style checking tool that analyzes source code for its
  adherence to Genode's coding style as described in 'doc/coding_style.txt'.
  Whenever possible, the tool tries to fix the issues and outputs a corrected
  file.  Some corrections, however, require human interaction.  In this case,
  the tool stops the analysis with an error.

:'parse_cxx':

  This tool is a C++ parser used as front-end for Beautify.

:'cxx_to_html':

  This tool converts a C++ source file to a HTML view to be used for the API
  documentation at the genode.org website. It relies on 'parse_cxx' to do the
  actual C++ parsing.

:'fix_include_ifndef':

  This tool helps with assigning consistent include guards to header files.

:'boot':

  This directory contains boot-loader files needed to create boot images.

:'autopilot':

  Autopilot is a tool for the automatic execution of run scripts among multiple
  base platforms.