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/doc-epilogue.xhtml | |
parent | d6594fffcb4ccbfd16f4bb260daad667273cb065 (diff) |
Return locked machines from enumerate_machines()
This is the ground work for the task priority/interrupt support.
Diffstat (limited to 'doc/doc-epilogue.xhtml')
0 files changed, 0 insertions, 0 deletions