diff options
| author | dzwdz | 2022-07-11 21:54:51 +0200 |
|---|---|---|
| committer | dzwdz | 2022-07-11 21:54:51 +0200 |
| commit | 2e79a2e5af3affa7a6a3becdffb1c91d89af90af (patch) | |
| tree | c253761c4ec010ad14b08f9ee8dfc1a50411b30f /src/user/app/shell.h | |
| parent | 6c01d9a7e34e1fccc2775b0e2187ac5e50dd4392 (diff) | |
user: reorganize the userland sources
Diffstat (limited to 'src/user/app/shell.h')
| -rw-r--r-- | src/user/app/shell.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/user/app/shell.h b/src/user/app/shell.h new file mode 100644 index 0000000..fb27410 --- /dev/null +++ b/src/user/app/shell.h @@ -0,0 +1,3 @@ +#pragma once + +void shell_loop(void); |