Need help profiling with Valgrind

ba_f ba_f at
Sun Nov 9 21:43:20 CET 2014

Hello Hackers,

actually i have a bug in my app, and i i can't make it up on specific 
code of my app.

> L4Re[rm]: unhandled write page fault @7ffff300 pc=15c7a8

Am 2014-11-06 07:56, schrieb Björn Döbel:
> Dear Reinier,
> Am 05.11.2014 um 23:22 schrieb Reinier Millo Sánchez:
>> Hello Aaron
>> I'm working in a project to develop an embedded operating system for
>> real time purposes using Fiasco.OC as microkernel. I have reviewed you
>> article "Capability Wrangling Made Easy: Debugging on a Microkernel 
>> with
>> Valgrind". I'm interested to do son profiling tests with Fiasco.OC and
>> Linux Kernel, using Valgrind. Do you have ported Valgrind to the
>> Fiasco.OC microkernel interface? Is the port available?
> please let us use the l4-hackers mailing list for further discussion.
> Indeed we ported Valgrind to Fiasco.OC and L4Re. Its source code is
> available in the L4Re SVN in l4/pkg/valgrind. As you might have
> noticed, our paper was in 2010 and if I remember correctly, the
> Valgrind version in the repository was last updated around 2011. It
> might still work, but you may also encounter problems. Feel free to
> try this out and let us know about any questions you have.
> Apart from that there may be other ways of achieving your profiling
> needs on top of Fiasco.OC. What exactly would you want to do?
> Kind regards,
> Bjoern
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

More information about the l4-hackers mailing list