Hi Bob, just a tiny side note from me: When debugging issues, which seem to interfere with the binary layout, I add log messages like follows
/* global vars to prevent optimization */ int dbg_on = true; int dbg_off = false; if (dbg_off) PDBG("message 1"); if (dbg_on) PDBG("message 2"); and also use CC_OLEVEL=-O0 or CC_OLEVEL=-Og. Greets -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://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 ------------------------------------------------------------------------------ Don't Limit Your Business. Reach for the Cloud. GigeNET's Cloud Solutions provide you with the tools and support that you need to offload your IT needs and focus on growing your business. Configured For All Businesses. Start Your Cloud Today. https://www.gigenetcloud.com/ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main