RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

pc99: Prevent zero sized array when IOMMU disabled

Browse Source 
An array is declared of size CONFIG_MAX_RMRR_ENTRIES, and if this is zero (such as
when the IOMMU is disabled), then it becomes a zero sized array, which is a GNU
C extension.
This commit is contained in:
Adrian Danis
2017-09-14 14:47:59 +10:00
parent 96bff79f1c
commit 09ba9fc887
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/plat/pc99/config.cmake
View File

@@ -22,7 +22,7 @@ config_string(KernelMaxRMRREntries MAX_RMRR_ENTRIES
"Setsthe maximum number of Reserved Memory Region Reporting structures we support \
recording from the ACPI tables"
DEFAULT 32
DEPENDS "KernelIOMMU" DEFAULT_DISABLED 0
DEPENDS "KernelIOMMU" DEFAULT_DISABLED 1
UNQUOTE
)