diff options
author | Richard Braun <rbraun@sceen.net> | 2017-06-11 11:27:32 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-06-11 11:27:32 +0200 |
commit | b135fef80cf8f9addf5725881a2fe81cda404dfe (patch) | |
tree | 57571a9e968b277090eba9873a0ad733fea7ed06 /kern/kernel.c | |
parent | cd56e2cf82938061b101cf752ce0db195c4009ed (diff) |
Make the diagnostics shell optional
Diffstat (limited to 'kern/kernel.c')
0 files changed, 0 insertions, 0 deletions