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/5f9ac94bef5b97676dedb77a5155a64a...
Note that I reopened issue 2766 on GitHub [1].
[1] https://github.com/genodelabs/genode/issues/2766