hash sum check failed for atari800 port

[Norman Feske]

Hi Wouter,

> That explains it. Thanks for your response.
> I've created a pull request for this fix:
> https://github.com/genodelabs/genode-world/pull/121

that's very much appreciated. I merged it right away. Thank you for
contributing! :-)

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

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