1
- choice
2
- prompt "Type of boot firmware (BIOS) on the target platform"
3
- default PLATFORM_SBL
4
- help
5
- The boot firmware (BIOS) used on the target board.
6
-
7
- config PLATFORM_UEFI
8
- bool "UEFI"
9
- select EFI_STUB
10
- help
11
- Select this if the target board uses UEFI.
12
-
13
- config PLATFORM_SBL
14
- bool "SBL"
15
- help
16
- Select this if the target board uses Slim Bootloader.
17
-
18
- endchoice
19
-
20
1
choice
21
2
prompt "Hypervisor mode"
22
3
default SHARING_MODE
@@ -32,7 +13,6 @@ config SHARING_MODE
32
13
33
14
config PARTITION_MODE
34
15
bool "Partition mode"
35
- depends on PLATFORM_SBL
36
16
help
37
17
In partition mode, every VM owns part of the physical resources
38
18
exclusively and runs with minimal interference from the others. The VM
@@ -70,8 +50,7 @@ config MAX_VM_NUM
70
50
config MAX_VCPUS_PER_VM
71
51
int "Maximum number of VCPUs per VM"
72
52
range 1 8
73
- default 4 if PLATFORM_SBL
74
- default 8 if PLATFORM_UEFI
53
+ default 8
75
54
help
76
55
The maximum number of virtual CPUs the hypervisor can support in a
77
56
single VM.
@@ -228,8 +207,7 @@ config LOW_RAM_SIZE
228
207
229
208
config HV_RAM_START
230
209
hex "2M-aligned Start physical address of the RAM region used by the hypervisor"
231
- default 0x6e000000 if PLATFORM_SBL
232
- default 0x00400000 if PLATFORM_UEFI
210
+ default 0x00400000
233
211
help
234
212
A 64-bit integer indicating the base physical address where the
235
213
hypervisor should be loaded. If RELOC is disabled, the bootloader
@@ -243,33 +221,29 @@ config HV_RAM_START
243
221
244
222
config HV_RAM_SIZE
245
223
hex "Size of the RAM region used by the hypervisor"
246
- default 0x08000000 if PLATFORM_SBL
247
- default 0x0b800000 if PLATFORM_UEFI
224
+ default 0x0b800000
248
225
help
249
226
A 64-bit integer indicating the size of RAM used by the hypervisor.
250
227
It is ensured at link time that the footprint of the hypervisor
251
228
does not exceed this size.
252
229
253
230
config PLATFORM_RAM_SIZE
254
231
hex "Size of the physical platform RAM"
255
- default 0x200000000 if PLATFORM_SBL
256
- default 0x400000000 if PLATFORM_UEFI
232
+ default 0x400000000
257
233
help
258
234
A 64-bit integer indicating the size of the physical platform RAM
259
235
(MMIO not included).
260
236
261
237
config SOS_RAM_SIZE
262
238
hex "Size of the Service OS (SOS) RAM"
263
- default 0x200000000 if PLATFORM_SBL
264
- default 0x400000000 if PLATFORM_UEFI
239
+ default 0x400000000
265
240
help
266
241
A 64-bit integer indicating the size of the Service OS RAM (MMIO not
267
242
included).
268
243
269
244
config UOS_RAM_SIZE
270
245
hex "Size of the User OS (UOS) RAM"
271
- default 0x100000000 if PLATFORM_SBL
272
- default 0x200000000 if PLATFORM_UEFI
246
+ default 0x200000000
273
247
help
274
248
A 64-bit integer indicating the size of the User OS RAM (MMIO not
275
249
included). Now we assume each UOS uses same amount of RAM size.
@@ -285,8 +259,7 @@ config CONSTANT_ACPI
285
259
286
260
config DMAR_PARSE_ENABLED
287
261
bool "Enable ACPI DMA Remapping tables parsing"
288
- default n if PLATFORM_SBL
289
- default y if PLATFORM_UEFI
262
+ default y
290
263
help
291
264
Whether to parse the ACPI DMA Remapping tables at runtime.
292
265
@@ -327,8 +300,7 @@ config MAX_IR_ENTRIES
327
300
328
301
config IOMMU_BUS_NUM
329
302
hex "Highest PCI bus ID used during IOMMU initialization"
330
- default 0x10 if PLATFORM_SBL
331
- default 0x100 if PLATFORM_UEFI
303
+ default 0x100
332
304
help
333
305
Any BDF with a bus ID smaller than this number is mapped to
334
306
the IOMMU domain of the first VM.
0 commit comments