| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rustfmt for edition 2024. | Dario Nieuwenhuis | 2025-10-06 | 1 | -1/+1 |
| * | executor: add priority scheduler. | Dario Nieuwenhuis | 2025-09-11 | 1 | -0/+26 |
| * | executor: make Deadline actually private. | Dario Nieuwenhuis | 2025-09-11 | 1 | -4/+4 |
| * | Make requested API changes | Dion Dokter | 2025-09-11 | 1 | -5/+59 |
| * | Introduce metadata-deadline and let the EDF scheduler use it | diondokter | 2025-09-11 | 1 | -0/+13 |
| * | executor: add "task metadata" concept, make name a task metadata. | Dario Nieuwenhuis | 2025-08-29 | 1 | -1/+55 |
| * | executor: do not store task IDs in RAM, we can get it from the pointer every ... | Dario Nieuwenhuis | 2025-08-29 | 1 | -0/+1 |
 |
index : embassy | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |