summaryrefslogtreecommitdiff
path: root/kernel/shell.nix
diff options
context:
space:
mode:
authorDennis Kobert <dennis@kobert.dev>2019-11-15 21:20:38 +0100
committerDennis Kobert <dennis@kobert.dev>2019-11-15 21:20:38 +0100
commit564dc1d1407055777b400e42f9a86a58b9921473 (patch)
tree3e3fded5470c6a318f011e280672ed8f038cada5 /kernel/shell.nix
parent6590a5acfee33bae3ca0431c8af09768248fe405 (diff)
Rename Interrupts enum to InterruptType
Diffstat (limited to 'kernel/shell.nix')
0 files changed, 0 insertions, 0 deletions