Config.in.kernelfmt 2.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  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_UIMAGEGZ
  16. bool
  17. config ADK_TARGET_KERNEL_BZIMAGE
  18. bool
  19. config ADK_TARGET_KERNEL_VMLINUX_AOUT
  20. bool
  21. config ADK_TARGET_KERNEL_VMLINUX_BIN
  22. bool
  23. config ADK_TARGET_KERNEL_VMLINUX_BOOTP
  24. bool
  25. config ADK_TARGET_KERNEL_VMLINUX_EFI
  26. bool
  27. config ADK_TARGET_KERNEL_VMLINUX_GZ
  28. bool
  29. config ADK_TARGET_KERNEL_VMLINUX_SREC
  30. bool
  31. config ADK_TARGET_KERNEL_XIPIMAGE
  32. bool
  33. config ADK_TARGET_KERNEL_SIMPLEIMAGE
  34. bool
  35. config ADK_TARGET_KERNEL_LOADER
  36. bool
  37. config ADK_TARGET_KERNEL
  38. string
  39. default "loader" if ADK_TARGET_KERNEL_LOADER
  40. default "uImage" if ADK_TARGET_KERNEL_UIMAGE
  41. default "uImage.bin" if ADK_TARGET_KERNEL_UIMAGEBIN
  42. default "uImage.gz" if ADK_TARGET_KERNEL_UIMAGEGZ
  43. default "zImage" if ADK_TARGET_KERNEL_ZIMAGE
  44. default "Image" if ADK_TARGET_KERNEL_IMAGE
  45. default "linux.bin" if ADK_TARGET_KERNEL_LINUXBIN
  46. default "vmlinuz" if ADK_TARGET_KERNEL_VMLINUZ
  47. default "image" if ADK_TARGET_KERNEL_VMLINUX_AOUT
  48. default "vmlinux.srec" if ADK_TARGET_KERNEL_VMLINUX_SREC
  49. default "vmlinux.bin" if ADK_TARGET_KERNEL_VMLINUX_BIN
  50. default "bootpfile" if ADK_TARGET_KERNEL_VMLINUX_BOOTP
  51. default "vmlinux.efi" if ADK_TARGET_KERNEL_VMLINUX_EFI
  52. default "vmlinux.gz" if ADK_TARGET_KERNEL_VMLINUX_GZ
  53. default "xipImage" if ADK_TARGET_KERNEL_XIPIMAGE
  54. default "bzImage" if ADK_TARGET_KERNEL_BZIMAGE
  55. default "bzImage" if ADK_TARGET_SYSTEM_GENERIC_X86_64 || ADK_TARGET_SYSTEM_GENERIC_X86
  56. default "vmlinux"
  57. config ADK_TARGET_KERNEL_WITH_COMPRESSION
  58. bool
  59. config ADK_TARGET_KERNEL_LOADADDR
  60. hex
  61. default 0x8000 if ADK_TARGET_SYSTEM_SYNOLOGY_DS414
  62. default 0x40008000 if ADK_TARGET_SYSTEM_BANANA_PRO
  63. default 0x44000000 if ADK_TARGET_SYSTEM_BANANA_P2_ZERO
  64. default 0x40008000 if ADK_TARGET_SYSTEM_ORANGE_PI0
  65. default 0xc0008000 if ADK_TARGET_SYSTEM_ST_STM32F746G
  66. config ADK_TARGET_KERNEL_APPEND_DTB
  67. string
  68. default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414