diff options
| -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 |