diff --git a/tool/boot/README b/tool/boot/README index 5759e9688..d3f602384 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 19134018ed2792c078ec63bdd814564295880954 + branch genode_bender, git commit 82d6397b6e13ed82f6a1965aaac59606af8c423b :'pulsar': diff --git a/tool/boot/bender b/tool/boot/bender index a66363545..81073c134 100755 Binary files a/tool/boot/bender and b/tool/boot/bender differ