I'm surprised that you can't reproduce the error, because I got it on both of my computers. I'm using the upstream branch on my own repo, but it's synced to 18.08, which is only 1 dde_linux-related patch behind master.

On Mon, Sep 3, 2018 at 4:23 AM Christian Helmuth <christian.helmuth@genode-labs.com> wrote:
On Mon, Sep 03, 2018 at 12:12:44PM +0200, Christian Helmuth wrote:
> > Also, I couldn't prepare the fatfs port without updating the hash
> > for ff13b.zip and then for fatfs.port.
>
> We also had this issue back in July [1] when the author changed the
> ZIP file on the web server. I consider hosting our blessed version on
> our own server to circumvent this annoyance. Thanks for reporting.
>
> [1] https://github.com/genodelabs/genode/commit/5f9ac94bef5b97676dedb77a5155a64a0e5fa46a

Note that I reopened issue 2766 on GitHub [1].

[1] https://github.com/genodelabs/genode/issues/2766

--
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users