Missing exception_set_priority API #987

Closed
opened 2022-08-23 22:55:44 -05:00 by alastairpatrick · 2 comments
alastairpatrick commented 2022-08-23 22:55:44 -05:00 (Migrated from github.com)

As of SDK 1.4.0 there appears to be no way to change system exception priorities. Example usage:

exception_set_priority(SYSTICK_EXCEPTION, 0xFF);
As of SDK 1.4.0 there appears to be no way to change system exception priorities. Example usage: ``` exception_set_priority(SYSTICK_EXCEPTION, 0xFF); ```
peterharperuk commented 2024-08-09 04:46:54 -05:00 (Migrated from github.com)

This seems to a have been added.

This seems to a have been added.
kilograham commented 2024-08-09 10:42:41 -05:00 (Migrated from github.com)

fixed

fixed
Sign in to join this conversation.
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-raspberrypi/pico-sdk#987
No description provided.