genode/tool/boot

This directory contains boot-loader files needed to boot Genode and to create
boot images. The tools are available in binary form. Pointers to the source
code respectively the download source of binaries are described below.

:'bender'

  The tool is part of the 'morbo' toolchain available under GPL.
  The toolchain was obtained from https://github.com/TUD-OS/morbo.

  For Genode bender was modified so that binaries are only relocated up
  to 2G physical. Additionally, relocation can be limited to 256M for sel4.

  Optionally, the tool may load Intel microcode if configured via commandline.
  The tool expects to find an module named micro.code which contains
  a valid Intel microcode file for the target CPU.

  Additionally, the tool may adjust the Intel HWP default settings if
  configured via commandline.

  The changes are available from
  https://github.com/alex-ab/morbo.git.

  git branch genode_bender
  git commit 7909dd0b56c66400bfb9c1c4abf70d2c593b4902

:'pulsar':

  The 'pulsar' tool was obtained in binary form from 
  http://os.inf.tu-dresden.de/~us15/pulsar.

:'unzip'

  The 'unzip' tool is part of the 'morbo' toolchain available under GPL.
  The toolchain was obtained from https://github.com/TUD-OS/morbo.
  For Genode the unzip was modified so that raw binary images with a Multiboot
  OS header can be loaded.
  The changes are available on the genode_bender branch of
  https://github.com/skalk/morbo.git.