ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/tool/boot
History
Alexander Boettcher 92db5d2c4e sel4: limit max relocation memory to 256M 
relocation is required, to avoid overlapping phdr in the elf binaries, but
sel4 will fail to boot if bender relocates the images at the end of physical
memory. Limit the physical relocation address to a fixed 256M value, so that
sel4 will work.

Issue #2451
 		2017-08-17 11:04:19 +02:00
..
README sel4: limit max relocation memory to 256M 2017-08-17 11:04:19 +02:00
bender sel4: limit max relocation memory to 256M 2017-08-17 11:04:19 +02:00
chain.c32 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
grub2_32.efi tool: support image/uefi for grub2/uefi boot 2017-06-29 11:59:51 +02:00
grub2_64.efi tool: support image/uefi for grub2/uefi boot 2017-06-29 11:59:51 +02:00
isolinux.bin Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
isolinux.cfg Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
pulsar Use NOVA microkernel from github, add 64bit 2012-06-20 19:44:07 +02:00
stage2_eltorito Fix sector calculation in GRUB's stage2_eltorito 2012-02-14 16:44:41 +01:00
tianocore.bin tool: qemu support for UEFI boot 2017-06-29 11:59:51 +02:00
unzip tool/boot: add chain_loader 'unzip' 2017-05-02 15:28:54 +02:00

README 

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 on the genode_bender branch of
  https://github.com/alex-ab/morbo.git.

:'pulsar':

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

:'chain.c32', 'isolinux.bin'

  These files are part of the 'Syslinux Project' hosting several bootloaders.
  The sources has been obtained from http://www.syslinux.org.

:'stage2_eltorito':

  This file is part of a modified Grub 0.97 available under GPL. The sources
  of the modified Grub 0.97 were obtained from
  http://os.inf.tu-dresden.de/~adam/grub.

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

:'grub2_32.efi', 'grub2_64.efi'

  GRUB 2 UEFI bootloader for x86

  Source code was obtained from git://git.savannah.gnu.org/grub.git, git
  commit 972765fe8245cdf44d465329f33b5aa9ac6c2f47.

  The following modules were included: part_msdos iso9660 part_gpt ext2 multiboot multiboot2 fat normal configfile setpci serial efi_uga efi_gop

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