genode

mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 15:02:25 +00:00

History

Alexander Boettcher a58b2a1e9f Extend bender to be MBI2 and add overlap checks Issue #2242		2017-02-23 14:54:42 +01:00
..
bender	Extend bender to be MBI2 and add overlap checks	2017-02-23 14:54:42 +01:00
chain.c32	Imported Genode release 11.11	2011-12-22 16:19:25 +01: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
README	sel4: add "norelocate" option to bender	2016-08-10 11:07:50 +02:00
stage2_eltorito	Fix sector calculation in GRUB's stage2_eltorito	2012-02-14 16:44:41 +01: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. Relocation can be disabled by the commandline option
  "norelocate".
  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.