Config.in.kernelfmt 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
  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_GZ
  24. bool
  25. config ADK_TARGET_KERNEL_VMLINUX_SREC
  26. bool
  27. config ADK_TARGET_KERNEL_XIPIMAGE
  28. bool
  29. config ADK_TARGET_KERNEL_SIMPLEIMAGE
  30. bool
  31. config ADK_TARGET_KERNEL
  32. string
  33. default "uImage" if ADK_TARGET_KERNEL_UIMAGE
  34. default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
  35. default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
  36. default "Image" if ADK_TARGET_KERNEL_IMAGE
  37. default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
  38. default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
  39. default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
  40. default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
  41. default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
  42. default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP
  43. default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ
  44. default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
  45. default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
  46. default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
  47. default "vmlinux"
  48. config ADK_TARGET_KERNEL_WITH_COMPRESSION
  49. bool
  50. config ADK_TARGET_KERNEL_LOADADDR
  51. hex
  52. default 0x8000 if ADK_TARGET_SYSTEM_SYNOLOGY_DS414
  53. default 0x40008000 if ADK_TARGET_SYSTEM_BANANA_PRO
  54. default 0x40008000 if ADK_TARGET_SYSTEM_ORANGE_PI0
  55. config ADK_TARGET_KERNEL_APPEND_DTB
  56. string
  57. default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414