1# Copyright (c) 2019 Carlo Caione <ccaione@baylibre.com>
2# SPDX-License-Identifier: Apache-2.0
3
4if BOARD_QEMU_CORTEX_A53
5
6config BUILD_OUTPUT_BIN
7	default y
8
9config MAX_THREAD_BYTES
10	default 3
11
12if NETWORKING
13
14choice NET_QEMU_NETWORKING
15	default NET_QEMU_ETHERNET if QEMU_CORTEX_A53_ETH_E1000
16endchoice
17
18config NET_DRIVERS
19	default n if QEMU_CORTEX_A53_ETH_E1000
20
21endif # NETWORKING
22
23# QEMU PCI requires at least 256M of virtual space
24config KERNEL_VM_SIZE
25	default 0x80000000 if PCIE
26
27# QEMU PCI requires physical addresses with more than 32 bits
28choice ARM64_VA_BITS
29	default ARM64_VA_BITS_40 if PCIE
30endchoice
31
32choice ARM64_PA_BITS
33	default ARM64_PA_BITS_40 if PCIE
34endchoice
35
36if QEMU_ICOUNT
37
38config QEMU_ICOUNT_SHIFT
39	default 4
40
41config QEMU_ICOUNT_SLEEP
42	default y
43
44endif # QEMU_ICOUNT
45
46endif # BOARD_QEMU_CORTEX_A53
47