board/xen/xenguest_arm64/Kconfig

   1 if TARGET_XENGUEST_ARM64
   2
   3 config SYS_BOARD
   4         default "xenguest_arm64"
   5
   6 config SYS_VENDOR
   7         default "xen"
   8
   9 config SYS_CONFIG_NAME
  10         default "xenguest_arm64"
  11
  12 config LNX_KRNL_IMG_TEXT_OFFSET_BASE
  13         default SYS_LOAD_ADDR
  14
  15 endif