| Andrii Anisov | 770a8ee | 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 | f76750d | 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 | 770a8ee | 2020-08-06 12:42:47 +0300 | [diff] [blame] | 15 | endif |