Config.in.kernelfmt 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879
  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 0x40008000 if ADK_TARGET_SYSTEM_ORANGE_PI0
  58. config ADK_TARGET_KERNEL_APPEND_DTB
  59. string
  60. default "armada-xp-synology-ds414" if ADK_TARGET_SYSTEM_SYNOLOGY_DS414