diff options
| author | dzwdz | 2023-09-25 00:12:57 +0200 |
|---|---|---|
| committer | dzwdz | 2023-09-25 00:12:57 +0200 |
| commit | 2c78dc983d09e136dd016ae6ecee6b191e033de1 (patch) | |
| tree | fa3f0c858a0c1b61d00d4a7474e80b1aa0368bbf /ports/dash | |
| parent | 16138fc20fc9c472af37fb8385a997a0d9202f32 (diff) | |
kernel/intr: accept a message, allow killing processes via intrs
Diffstat (limited to 'ports/dash')
0 files changed, 0 insertions, 0 deletions