diff options
| author | dzwdz | 2023-01-19 23:27:12 +0100 |
|---|---|---|
| committer | dzwdz | 2023-01-19 23:27:12 +0100 |
| commit | da546a0822b1995efe1832c9cc57aab62ccdcf65 (patch) | |
| tree | 9b558144391653d810a6a3f98cdb20623d8d0815 /src/shared/printf.h | |
| parent | 1e261597a5c5f9803a65a5b13dd71d33d501f010 (diff) | |
kernel: delay freeing reaped processes, slightly more strict states
Diffstat (limited to 'src/shared/printf.h')
0 files changed, 0 insertions, 0 deletions