Re: Little question around mach_debug interface

[Thomas Schwinge]

Hello Christian!

On Thu, Dec 14, 2006 at 06:42:21PM +0100, christian nastasi wrote:
> [...]

Please, in the future, post such questions to the <bug-hurd@gnu.org>
mailing list.  I also cced this email there.  You don't need to be
subscribed to post there.


> Is the mach_debug interface already built in in the gnumach kernel (because
> I don't think so)?
> I see there aren't  the header files for the mach_debug in the /usr/include,
> it is correct?

The interface itself seems to be compiled in (see `Makefrag.am':
``nodist_libkernel_a_SOURCES += [...] kern/mach_debug.server.c''), but
you are right that the C header files aren't installed into
`PREFIX/include/'.

> I could try to use them directly

Yes, that's what I'd suggest: just copy the C header files from `[GNU
Mach]/include/mach_debug/' somewhere locally and if you then can tell me
that they're in fact useful, I can of course change the GNU Mach build
system to install them alongside the other C header files.

> but i think it is not easy for me to build
> the mach_debug as an external lib, because I don't know how to make that
> work with the mach kernel.

You'll need to use `mig' to create client-side C stub files from the
`mach_debug/mach_debug.defs' file and then can use these in your
user-space code.


Again I want to note that I have no idea how much of the `mach_debug'
interface is properly implemented inside GNU Mach itself.  But you'll
notice if it'll work or not.  :-)


Regards,
 Thomas

signature.asc
Description: Digital signature