mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
76828f25c5
By default, bender will not report any serial findings anymore, if not explicitly asked for with the 'serial' option. Without this option, an invalid ioport is reported, so that neither the kernel nor Genode core will make serial output.
39 lines
1.4 KiB
Plaintext
39 lines
1.4 KiB
Plaintext
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 77a69185981de373905ae7e9c4ae24cd5cb1ac99
|
|
|
|
:'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.
|