diff --git a/tool/boot/README b/tool/boot/README index d3f6023848..70f69efef5 100644 --- a/tool/boot/README +++ b/tool/boot/README @@ -11,7 +11,7 @@ code respectively the download source of binaries are described below. The changes are available from https://github.com/alex-ab/morbo.git. - branch genode_bender, git commit 82d6397b6e13ed82f6a1965aaac59606af8c423b + branch genode_bender, git commit e4744198ed481886c48e3dee12c1fbd47411770f :'pulsar': diff --git a/tool/boot/bender b/tool/boot/bender index 81073c134f..b79f5b7ba6 100755 Binary files a/tool/boot/bender and b/tool/boot/bender differ