diff options
| author | Anton Kling <anton@kling.gg> | 2023-10-30 22:12:14 +0100 |
|---|---|---|
| committer | Anton Kling <anton@kling.gg> | 2023-10-31 00:18:38 +0100 |
| commit | 8a9208612eec8ddae4c418485d848ecfa0613699 (patch) | |
| tree | 2f4b29200c2f0c19ae52f45bdb9b38a41b356e30 /mount | |
| parent | ca76600acc8bf7a02346efa5bd8f17072210ec01 (diff) | |
Meta: Move kernel and userland to their own folders.
This is to allow both the kernel and the userland to share certain
header files and to make the folder structure a bit more clear.
Diffstat (limited to 'mount')
| l--------- | mount/cat | 1 | ||||
| l--------- | mount/init | 1 | ||||
| -rwxr-xr-x | mount/pid1 | bin | 2396 -> 0 bytes | |||
| -rwxr-xr-x | mount/program | bin | 1744 -> 0 bytes | |||
| -rwxr-xr-x | mount/sh | bin | 45660 -> 0 bytes |
5 files changed, 0 insertions, 2 deletions
diff --git a/mount/cat b/mount/cat deleted file mode 120000 index a24e907..0000000 --- a/mount/cat +++ /dev/null @@ -1 +0,0 @@ -./minibox
\ No newline at end of file diff --git a/mount/init b/mount/init deleted file mode 120000 index a24e907..0000000 --- a/mount/init +++ /dev/null @@ -1 +0,0 @@ -./minibox
\ No newline at end of file diff --git a/mount/pid1 b/mount/pid1 Binary files differdeleted file mode 100755 index 773d54c..0000000 --- a/mount/pid1 +++ /dev/null diff --git a/mount/program b/mount/program Binary files differdeleted file mode 100755 index c93d7ba..0000000 --- a/mount/program +++ /dev/null diff --git a/mount/sh b/mount/sh Binary files differdeleted file mode 100755 index c05684c..0000000 --- a/mount/sh +++ /dev/null |