riscv64: enable uClibc-ng ctors for noMMU config
[openadk.git] / target / config / Config.in.kernelfmt
blob23d800d24b7443e5b178a5625a94be03cbdbd958
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
5         bool
7 config ADK_TARGET_KERNEL_ZIMAGE
8         bool
10 config ADK_TARGET_KERNEL_LINUXBIN
11         bool
13 config ADK_TARGET_KERNEL_IMAGE
14         bool
16 config ADK_TARGET_KERNEL_UIMAGE
17         bool
19 config ADK_TARGET_KERNEL_UIMAGEBIN
20         bool
22 config ADK_TARGET_KERNEL_BZIMAGE
23         bool
25 config ADK_TARGET_KERNEL_VMLINUX_AOUT
26         bool
28 config ADK_TARGET_KERNEL_VMLINUX_BIN
29         bool
31 config ADK_TARGET_KERNEL_VMLINUX_BOOTP
32         bool
34 config ADK_TARGET_KERNEL_VMLINUX_EFI
35         bool
37 config ADK_TARGET_KERNEL_VMLINUX_GZ
38         bool
40 config ADK_TARGET_KERNEL_VMLINUX_SREC
41         bool
43 config ADK_TARGET_KERNEL_XIPIMAGE
44         bool
46 config ADK_TARGET_KERNEL_SIMPLEIMAGE
47         bool
49 config ADK_TARGET_KERNEL_LOADER
50         bool
52 config ADK_TARGET_KERNEL
53         string
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
70         default "vmlinux"
72 config ADK_TARGET_KERNEL_WITH_COMPRESSION
73         bool
75 config ADK_TARGET_KERNEL_LOADADDR
76         hex
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
84         string
85         default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414