Josh Bowman wrote:
> With CONFIG_KGDB disabled in the kernel config, the ipipe trace is no
> longer being generated. (IPIPE_DEBUG_CONTEXT *is* still enabled.)
>
> I haven't needed kgdb yet, and haven't learned to use it; it was
> enabled in my kernel by mistake.
>
> If you think there might still be a problem here, and there's anything
> I can do to help, please let me know.
Current I-pipe patch is not supposed to work with kgdb, so, it is normal
to have to disable the option.
--
Gilles
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
