diff options
| author | dzwdz | 2023-01-25 22:43:31 +0100 |
|---|---|---|
| committer | dzwdz | 2023-01-25 22:43:31 +0100 |
| commit | 3ade679eb6306885a834aecfdb230a07a599acb8 (patch) | |
| tree | 2b33c84252af7791703de8acd578d4ed0b04509f | |
| parent | 8c260381afc811082f17e77184790eb91ff016cf (diff) | |
clean up the repo root
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | src/kernel/arch/amd64/grub.cfg (renamed from grub.cfg) | 0 | ||||
| -rw-r--r-- | todo.txt | 0 |
3 files changed, 1 insertions, 1 deletions
@@ -96,7 +96,7 @@ out/fs/boot/init: out/bootstrap out/initrd.tar @mkdir -p $(@D) @cat $^ > $@ -out/fs/boot/grub/grub.cfg: grub.cfg +out/fs/boot/grub/grub.cfg: src/kernel/arch/amd64/grub.cfg @mkdir -p $(@D) @cp $< $@ diff --git a/grub.cfg b/src/kernel/arch/amd64/grub.cfg index 528b39c..528b39c 100644 --- a/grub.cfg +++ b/src/kernel/arch/amd64/grub.cfg diff --git a/todo.txt b/todo.txt deleted file mode 100644 index e69de29..0000000 --- a/todo.txt +++ /dev/null |