mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 10:08:53 +00:00
01676717e2
It is known to work up to Qemu 2.9 solely. Instead use ovmf package provided by Linux distributions. Issue #3784 |
||
---|---|---|
.. | ||
bender | ||
boot.png | ||
microcode | ||
pulsar | ||
README | ||
unzip |
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', 'microcode' The tools are 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. Additional, relocation can be limited to 256M for sel4. The microcode tools expect to find a module named micro.code which contains a valid Intel microcode file for the target CPU. The changes are available from https://github.com/alex-ab/morbo.git. git commit 003016e096fa132e2086b4db52d1fd965dbd7363 :'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.