diff options
| author | Emil Fresk <emil.fresk@gmail.com> | 2024-02-27 10:39:34 +0100 |
|---|---|---|
| committer | Emil Fresk <emil.fresk@gmail.com> | 2024-02-27 11:59:52 +0100 |
| commit | d2e84799c743eeb4b827d8da576be45ed43d6ece (patch) | |
| tree | 37f04755854326e9aea095cb02fd729d943c92a4 /book | |
| parent | 4a23c8d6da918b2ddd5a6b694b584fd2737833bb (diff) | |
Fix thumbv7 soundness issue in the lock implementation
The old lock implementation did not set basepri to max(current ceiling,
resource ceiling), it simply set basepri to the resource ceiling.
Diffstat (limited to 'book')
0 files changed, 0 insertions, 0 deletions