diff options
Diffstat (limited to 'dev/kernel/amd64-ci.make')
| -rw-r--r-- | dev/kernel/amd64-ci.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/kernel/amd64-ci.make b/dev/kernel/amd64-ci.make index 7748fc7c..4fb87ee1 100644 --- a/dev/kernel/amd64-ci.make +++ b/dev/kernel/amd64-ci.make @@ -35,7 +35,7 @@ LDFLAGS = -e hal_init_platform --subsystem=17 --image-base 0x4000000 LDOBJ = obj/*.obj # This file is the Kernel, responsible of task, memory, driver, sci, disk and device management. -KERNEL_IMG = vmkrnl.efi +KERNEL_IMG = krnl.efi .PHONY: error error: |