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