TARGETNAME=kernel
TARGETPATH=obj
TARGETTYPE=PROGRAM
IMAGE_KIND=KERNEL
FLAVOR=KERNEL
EXTRA_CFLAGS=/DNTL_KERNEL_BUILD /DKE_DISPLAY_BUILD
TARGETLIBS="$(BASEDIR)\bin\hal.lib" "$(BASEDIR)\bin\printf.lib" "$(BASEDIR)\bin\libc.lib"
EXTRA_LFLAGS=/ENTRY:KernelMain /MAP:"$(BASEDIR)\bin\kernel.map" /FIXED /DYNAMICBASE:NO /HIGHENTROPYVA:NO /RELEASE /BASE:0xFFFF800000000000
INCLUDES=$(BASEDIR)\code\kernel\include
SOURCES=@/code/kernel/dm_config.c @/code/kernel/driver_module.c @/code/kernel/io_async.c @/code/kernel/io_ddk.c @/code/kernel/io_device.c @/code/kernel/io_dma.c \
    @/code/kernel/io_file.c @/code/kernel/io_partition.c @/code/kernel/io_pipe.c @/code/kernel/io_pnp.c @/code/kernel/io_volume.c @/code/kernel/ke_apc.c \
    @/code/kernel/ke_audio.c @/code/kernel/ke_boot_config.c @/code/kernel/ke_cpu.c @/code/kernel/ke_debug.c @/code/kernel/ke_display.c @/code/kernel/ke_dpc.c \
    @/code/kernel/ke_event.c @/code/kernel/ke_exception.c @/code/kernel/ke_firmware.c @/code/kernel/ke_hal.c @/code/kernel/ke_handle.c @/code/kernel/ke_id.c \
    @/code/kernel/ke_idt.c @/code/kernel/ke_input.c @/code/kernel/ke_irp.c @/code/kernel/ke_irq.c @/code/kernel/ke_irql.c @/code/kernel/ke_list.c \
    @/code/kernel/ke_mutex.c @/code/kernel/ke_port.c @/code/kernel/ke_power.c @/code/kernel/ke_process.c @/code/kernel/ke_queue.c @/code/kernel/ke_sched.c \
    @/code/kernel/ke_selftest.c @/code/kernel/ke_semaphore.c @/code/kernel/ke_settings.c @/code/kernel/ke_smp.c @/code/kernel/ke_surface.c @/code/kernel/ke_syscall.c \
    @/code/kernel/ke_system_root.c @/code/kernel/ke_system_service.c @/code/kernel/ke_thread.c @/code/kernel/ke_time.c @/code/kernel/ke_timer.c @/code/kernel/ke_trap.c \
    @/code/kernel/ke_work.c @/code/kernel/kmain.c @/code/kernel/ldr_image.c @/code/kernel/ldr_section.c @/code/kernel/mm_file_cache.c @/code/kernel/mm_phys.c \
    @/code/kernel/mm_pool.c @/code/kernel/mm_pte.c @/code/kernel/mm_swap.c @/code/kernel/mm_virt.c @/code/kernel/net_device.c @/code/kernel/net_socket.c \
    @/code/kernel/net_stack.c @/code/kernel/ob_object.c @/code/kernel/se_security.c @/code/kernel/ke_gdt_reload.asm @/code/kernel/ke_switch.asm @/code/kernel/ke_syscall.asm \
    @/code/common/boot_volume_selector.c
