| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rustfmt for edition 2024. | Dario Nieuwenhuis | 2025-10-06 | 1 | -2/+2 |
| | | |||||
| * | executor: add priority scheduler. | Dario Nieuwenhuis | 2025-09-11 | 1 | -5/+24 |
| | | |||||
| * | executor: make Deadline actually private. | Dario Nieuwenhuis | 2025-09-11 | 1 | -6/+2 |
| | | |||||
| * | Make requested API changes | Dion Dokter | 2025-09-11 | 1 | -3/+3 |
| | | |||||
| * | Introduce metadata-deadline and let the EDF scheduler use it | diondokter | 2025-09-11 | 1 | -1/+4 |
| | | |||||
| * | Change deadline to use internal atomics | Dion Dokter | 2025-09-11 | 1 | -5/+3 |
| | | |||||
| * | Rename, remove excess mut | James Munns | 2025-09-11 | 1 | -5/+5 |
| | | |||||
| * | Regular comments not doc comments | James Munns | 2025-09-11 | 1 | -12/+12 |
| | | |||||
| * | Replace use of RefCell with UnsafeCell | James Munns | 2025-09-11 | 1 | -4/+17 |
| | | |||||
| * | Update to use critical-section::Mutex instead of mutex::BlockingMutex | James Munns | 2025-09-11 | 1 | -11/+17 |
| | | | | | This allows the scheduler to better collaborate with existing critical sections | ||||
| * | fmt | James Munns | 2025-09-11 | 1 | -5/+3 |
| | | |||||
| * | Inline the "MutexTransferStack" impl as it is unclear whether it will be ↵ | James Munns | 2025-09-11 | 1 | -1/+30 |
| | | | | | merged upstream | ||||
| * | Update with cordyceps changes | James Munns | 2025-09-11 | 1 | -1/+1 |
| | | |||||
| * | There can be only one (run queue) | James Munns | 2025-09-11 | 1 | -0/+151 |
| | | |||||
| * | executor: remove atomic-polyfill. | Dario Nieuwenhuis | 2023-11-15 | 1 | -88/+0 |
| | | |||||
| * | Executor: Replace unnecessary atomics in runqueue | Grant Miller | 2023-04-13 | 1 | -9/+16 |
| | | |||||
| * | executor: Replace unsound critical sections with atomics | Grant Miller | 2023-04-05 | 1 | -6/+12 |
| | | |||||
| * | executor: Replace `NonNull<TaskHeader>` with `TaskRef` | Grant Miller | 2023-01-29 | 1 | -6/+7 |
| | | |||||
| * | Split embassy-time from embassy-executor. | Dario Nieuwenhuis | 2022-08-18 | 1 | -0/+74 |
