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 'bender' tool is part of the 'morbo' toolchain available under GPL.
  The toolchain was obtained from https://github.com/TUD-OS/morbo.
  For Genode the bender was modified so that binaries are only relocated up
  to 2G physical. Additional, relocation can be limited to 256M for sel4.
  The changes are available from
  https://github.com/alex-ab/morbo.git.

  branch genode_bender, git commit 82d6397b6e13ed82f6a1965aaac59606af8c423b

:'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.

:'tianocore.bin'

  Open Virtual Machine Firmware (OVMF) developed by
  http://www.tianocore.org/ovmf. OVMF is an project to enable UEFI support for
  Virtual Machines. This UEFI binary is supposed to be used with QEMU.

  The UEFI firmware was built based on the description of

  https://github.com/tianocore/tianocore.github.io/wiki/How-to-build-OVMF

  and the source code has been obtained from

  https://github.com/tianocore/edk2.git
  git commit 6e5e544f227f031d0b45828b56cec5668dd1bf5b
