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
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd