Thanks Christian. I'll use that.
Bob
Sent from my android device.
-----Original Message-----
From: Christian Helmuth <christian.helmuth@...1...>
To: genode-main@lists.sourceforge.net
Sent: Mon, 06 Jul 2015 8:44 AM
Subject: Re: "Core" thread doesn't become active in kernel initialization
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