diff --git a/tool/boot/README b/tool/boot/README index fc26340a9..7b3f4b1c6 100644 --- a/tool/boot/README +++ b/tool/boot/README @@ -8,9 +8,11 @@ code respectively the download source of binaries are described below. 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 + The changes are available from https://github.com/alex-ab/morbo.git. + branch genode_bender, git commit 19134018ed2792c078ec63bdd814564295880954 + :'pulsar': The 'pulsar' tool was obtained in binary form from diff --git a/tool/boot/bender b/tool/boot/bender index 7b4588b78..a66363545 100755 Binary files a/tool/boot/bender and b/tool/boot/bender differ