Andrii Anisov | 355d1e4 | 2020-08-06 12:42:47 +0300 | [diff] [blame] | 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 | |||||
Tom Rini | d391d8b | 2021-12-11 14:55:51 -0500 | [diff] [blame] | 12 | config LNX_KRNL_IMG_TEXT_OFFSET_BASE |
13 | default SYS_LOAD_ADDR | ||||
14 | |||||
Andrii Anisov | 355d1e4 | 2020-08-06 12:42:47 +0300 | [diff] [blame] | 15 | endif |