Config.in.kernelfmt 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081
  1. # This file is part of the OpenADK project. OpenADK is copyrighted
  2. # material, please see the LICENCE file in the top-level directory.
  3. config ADK_TARGET_KERNEL_VMLINUZ
  4. bool
  5. config ADK_TARGET_KERNEL_ZIMAGE
  6. bool
  7. config ADK_TARGET_KERNEL_LINUXBIN
  8. bool
  9. config ADK_TARGET_KERNEL_IMAGE
  10. bool
  11. config ADK_TARGET_KERNEL_UIMAGE
  12. bool
  13. config ADK_TARGET_KERNEL_UIMAGEBIN
  14. bool
  15. config ADK_TARGET_KERNEL_BZIMAGE
  16. bool
  17. config ADK_TARGET_KERNEL_VMLINUX_AOUT
  18. bool
  19. config ADK_TARGET_KERNEL_VMLINUX_BIN
  20. bool
  21. config ADK_TARGET_KERNEL_VMLINUX_BOOTP
  22. bool
  23. config ADK_TARGET_KERNEL_VMLINUX_EFI
  24. bool
  25. config ADK_TARGET_KERNEL_VMLINUX_GZ
  26. bool
  27. config ADK_TARGET_KERNEL_VMLINUX_SREC
  28. bool
  29. config ADK_TARGET_KERNEL_XIPIMAGE
  30. bool
  31. config ADK_TARGET_KERNEL_SIMPLEIMAGE
  32. bool
  33. config ADK_TARGET_KERNEL
  34. string
  35. default "uImage" if ADK_TARGET_KERNEL_UIMAGE
  36. default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
  37. default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
  38. default "Image" if ADK_TARGET_KERNEL_IMAGE
  39. default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
  40. default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
  41. default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
  42. default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
  43. default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
  44. default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP
  45. default "vmlinux.efi" if ADK_TARGET_KERNEL_VMLINUX_EFI
  46. default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ
  47. default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
  48. default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
  49. default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
  50. default "vmlinux"
  51. config ADK_TARGET_KERNEL_WITH_COMPRESSION
  52. bool
  53. config ADK_TARGET_KERNEL_LOADADDR
  54. hex
  55. default 0x8000 if ADK_TARGET_SYSTEM_SYNOLOGY_DS414
  56. default 0x40008000 if ADK_TARGET_SYSTEM_BANANA_PRO
  57. default 0x44000000 if ADK_TARGET_SYSTEM_BANANA_P2_ZERO
  58. default 0x40008000 if ADK_TARGET_SYSTEM_ORANGE_PI0
  59. default 0xc0008000 if ADK_TARGET_SYSTEM_ST_STM32F746G
  60. config ADK_TARGET_KERNEL_APPEND_DTB
  61. string
  62. default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414