diff options
| author | Dennis Kobert <dennis@kobert.dev> | 2019-11-15 21:20:38 +0100 |
|---|---|---|
| committer | Dennis Kobert <dennis@kobert.dev> | 2019-11-15 21:20:38 +0100 |
| commit | 564dc1d1407055777b400e42f9a86a58b9921473 (patch) | |
| tree | 3e3fded5470c6a318f011e280672ed8f038cada5 /kernel/shell.nix | |
| parent | 6590a5acfee33bae3ca0431c8af09768248fe405 (diff) | |
Rename Interrupts enum to InterruptType
Diffstat (limited to 'kernel/shell.nix')
0 files changed, 0 insertions, 0 deletions