[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GSOC - valgrind-hurd queries

From: Subhashish
Subject: GSOC - valgrind-hurd queries
Date: Thu, 29 May 2014 04:57:55 +0530
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0


I have a query:

This makelog[1] indicates that I should #include "vki/vki-gnu.h"[2].

Now this vki-gnu.h is supposed to be the gnu/hurd specific kernel interface as the linux one ("vki/vki-linux.h") tells.

Further there are warnings(I may ignore them, might I?) and errors - which relate to "vki-gnu.h" - These are undeclared identifiers which will be defined and maybe implemented (didn't look into it much) in that file.

So should I
1) pull all the kernel stuff with vki_ prefixes or
2) step by step implement the types and constants to the kernel interface and 'make' and see what's required?

Any other approach?

Insights / comments / discussion required.


1 - https://gist.github.com/sprkv5/15b25ed9ee8ac5f20a47#file-makelog-3-txt
2 - Well I am using GNU/gnu as an identifier for hurd inside valgrind as the 'uname' turns out to be 'GNU' - so whenever we see gnu in valgrind, it is GNU/Hurd

reply via email to

[Prev in Thread] Current Thread [Next in Thread]