Config.in.kernelfmt 2.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485
  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_LOADER
  34. bool
  35. config ADK_TARGET_KERNEL
  36. string
  37. default "loader" if ADK_TARGET_KERNEL_LOADER
  38. default "uImage" if ADK_TARGET_KERNEL_UIMAGE
  39. default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
  40. default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
  41. default "Image" if ADK_TARGET_KERNEL_IMAGE
  42. default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
  43. default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
  44. default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
  45. default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
  46. default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
  47. default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP
  48. default "vmlinux.efi" if ADK_TARGET_KERNEL_VMLINUX_EFI
  49. default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ
  50. default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
  51. default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
  52. default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
  53. default "vmlinux"
  54. config ADK_TARGET_KERNEL_WITH_COMPRESSION
  55. bool
  56. config ADK_TARGET_KERNEL_LOADADDR
  57. hex
  58. default 0x8000 if ADK_TARGET_SYSTEM_SYNOLOGY_DS414
  59. default 0x40008000 if ADK_TARGET_SYSTEM_BANANA_PRO
  60. default 0x44000000 if ADK_TARGET_SYSTEM_BANANA_P2_ZERO
  61. default 0x40008000 if ADK_TARGET_SYSTEM_ORANGE_PI0
  62. default 0xc0008000 if ADK_TARGET_SYSTEM_ST_STM32F746G
  63. config ADK_TARGET_KERNEL_APPEND_DTB
  64. string
  65. default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414