Hi again, I just noticed that at the end of my patch, a small change of 'tool/fiasco_build.conf' slipped in. Please do not apply that last part ;-) -- Norman Feske Genode Labs http://www.genode-labs.com ยท http://genode.org