-
Notifications
You must be signed in to change notification settings - Fork 594
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
os: remove CONFIG_ENABLE_STACKMONITOR dependency from kernel #6693
base: master
Are you sure you want to change the base?
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -101,7 +101,7 @@ | |
****************************************************************************/ | ||
void dbg_save_termination_info(struct tcb_s *tcb) | ||
{ | ||
#if defined(CONFIG_ENABLE_STACKMONITOR) && defined(CONFIG_DEBUG) | ||
#ifdef CONFIG_DEBUG | ||
stackinfo_save_terminated(tcb); | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Do we need to save this even if stkmon is not enabled? |
||
#endif | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -249,7 +249,7 @@ int prctl(int option, ...) | |
#endif /* CONFIG_MESSAGING_IPC */ | ||
case PR_GET_STKLOG: | ||
{ | ||
#if defined(CONFIG_ENABLE_STACKMONITOR) && defined(CONFIG_DEBUG) | ||
#ifdef CONFIG_DEBUG | ||
struct stkmon_save_s *dest_buf = va_arg(ap, struct stkmon_save_s *); | ||
stkmon_copy_log(dest_buf); | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We must have some config in kernel for stack mon. |
||
#else | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it's better to have separate config for the stack monitor.