Hai, can we debug the ecos kernel functions through GDB. if so please tell me how we can do that. for this whether we need to enable any options in the "Redboot" and "Ecos os" while building these images. Thanks Regards Giri