Need help profiling with Valgrind
ba_f at rbg.informatik.tu-darmstadt.de
Sun Nov 9 21:43:20 CET 2014
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
>> 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,
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
More information about the l4-hackers