diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2023-05-11 09:24:51 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-05-11 09:24:51 +0200 |
| commit | 24980c2ae899707ed98b33971381502265fe0269 (patch) | |
| tree | cc7c425939f4c0770d89e3699ae79a1ef93297fb /doc/.gitignore | |
| parent | d6594fffcb4ccbfd16f4bb260daad667273cb065 (diff) | |
Return locked machines from enumerate_machines()
This is the ground work for the task priority/interrupt support.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions