Skip to content

Fix STM32MP2 timer cleanup. - #207

Merged
Indanz merged 1 commit into
seL4:masterfrom
bruelc:destroy-tim
Sep 22, 2026
Merged

Indanz merged 1 commit into
seL4:masterfrom
bruelc:destroy-tim

Conversation

@bruelc

@bruelc bruelc commented Sep 22, 2026

Copy link
Copy Markdown
Contributor

Need to unmap the RCC vaddr when destroying the timer, to avoid a remap failure when trying to re-create it.
Also fix error return paths.

Need to unmap the RCC vaddr when destroying the timer, to avoid a remap
failure when trying to re-create it.
Also fix error return paths.

Signed-off-by: Christian Bruel <christian.bruel@foss.st.com>
@Indanz
Indanz merged commit 8dd23f7 into seL4:master Sep 22, 2026
25 checks passed
@bruelc
bruelc deleted the destroy-tim branch September 25, 2026 07:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants