Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Watchdog support for the C target #1730

Merged
merged 139 commits into from
May 19, 2023
Merged

Watchdog support for the C target #1730

merged 139 commits into from
May 19, 2023

Conversation

Benichiwa
Copy link
Contributor

This implements the watchdog feature as mentioned in the discussion: "Watchdogs #1379", and is meant to replace PR #1605, which is unmergeable because of formatting issues.

This is coauthored with @edwardalee.

@lhstrh lhstrh changed the title Watchdogs-eal2 Watchdog support for the C target May 12, 2023
Copy link
Collaborator

@edwardalee edwardalee left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great! Only one (very minor) issue; I flagged an unaddressed FIXME.

@edwardalee edwardalee merged commit 03310fa into master May 19, 2023
@cmnrd cmnrd deleted the watchdogs-eal2 branch June 8, 2023 07:44
@petervdonovan petervdonovan added the feature New feature label Aug 26, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
feature New feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants