"Core" thread doesn't become active in kernel initialization

[robjsstewart at ...196...]

Thanks Christian. I'll use that.

Bob

Sent from my android device.

-----Original Message-----
From: Christian Helmuth <christian.helmuth at ...1...>
To: genode-main at 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 at lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150706/e00dc6cd/attachment.html>