diff options
| author | dzwdz | 2022-07-10 11:30:06 +0200 |
|---|---|---|
| committer | dzwdz | 2022-07-10 11:30:06 +0200 |
| commit | f6039ca691352bce5d050a4e5ffa768fadbaf68c (patch) | |
| tree | 1d1d071e2f5d9b2097f8d751726665a3cc1e4eb6 /tools | |
| parent | fff36661c92f30685e2d83825a11b67ad8921a0e (diff) | |
kernel: implement killing processes stuck on pipes
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions