1 # This file is part of the OpenADK project. OpenADK is copyrighted
2 # material, please see the LICENCE file in the top-level directory.
4 config ADK_TARGET_KERNEL_VMLINUZ
7 config ADK_TARGET_KERNEL_ZIMAGE
10 config ADK_TARGET_KERNEL_LINUXBIN
13 config ADK_TARGET_KERNEL_IMAGE
16 config ADK_TARGET_KERNEL_UIMAGE
19 config ADK_TARGET_KERNEL_UIMAGEBIN
22 config ADK_TARGET_KERNEL_BZIMAGE
25 config ADK_TARGET_KERNEL_VMLINUX_AOUT
28 config ADK_TARGET_KERNEL_VMLINUX_BIN
31 config ADK_TARGET_KERNEL_VMLINUX_BOOTP
34 config ADK_TARGET_KERNEL_VMLINUX_EFI
37 config ADK_TARGET_KERNEL_VMLINUX_GZ
40 config ADK_TARGET_KERNEL_VMLINUX_SREC
43 config ADK_TARGET_KERNEL_XIPIMAGE
46 config ADK_TARGET_KERNEL_SIMPLEIMAGE
49 config ADK_TARGET_KERNEL_LOADER
52 config ADK_TARGET_KERNEL
54 default "loader" if ADK_TARGET_KERNEL_LOADER
55 default "uImage" if ADK_TARGET_KERNEL_UIMAGE
56 default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
57 default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
58 default "Image" if ADK_TARGET_KERNEL_IMAGE
59 default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
60 default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
61 default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
62 default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
63 default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
64 default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP
65 default "vmlinux.efi" if ADK_TARGET_KERNEL_VMLINUX_EFI
66 default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ
67 default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
68 default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
69 default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
72 config ADK_TARGET_KERNEL_WITH_COMPRESSION
75 config ADK_TARGET_KERNEL_LOADADDR
77 default 0x8000 if ADK_TARGET_SYSTEM_SYNOLOGY_DS414
78 default 0x40008000 if ADK_TARGET_SYSTEM_BANANA_PRO
79 default 0x44000000 if ADK_TARGET_SYSTEM_BANANA_P2_ZERO
80 default 0x40008000 if ADK_TARGET_SYSTEM_ORANGE_PI0
81 default 0xc0008000 if ADK_TARGET_SYSTEM_ST_STM32F746G
83 config ADK_TARGET_KERNEL_APPEND_DTB
85 default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414