portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

zynqmp: add dts overlay for hypervisor mode

Browse source 
The pcie node was creating untyped objects with improper addresses.

Signed-off-by: Robbie VanVossen <robert.vanvossen@dornerworks.com>
This commit is contained in:
Chris Guikema 2019-07-29 16:21:58 -04:00 committed by Gerwin Klein
parent 8d52ba7d26
commit c4f947994f
2 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/plat/zynqmp/config.cmake
View file

@ -64,6 +64,10 @@ if(KernelPlatformZynqmp)
list(APPEND KernelDTSList "src/plat/zynqmp/overlay-zynqmp.dts")
endif()
if(KernelArmHypervisorSupport)
list(APPEND KernelDTSList "src/plat/zynqmp/overlay-hs-zynqmp.dts")
endif()
declare_default_headers(
TIMER_FREQUENCY 100000000
MAX_IRQ 187

12
src/plat/zynqmp/overlay-hs-zynqmp.dts Normal file
View file

@ -0,0 +1,12 @@
/*
* Copyright 2019, DornerWorks
*
* SPDX-License-Identifier: GPL-2.0-only
*/
/ {
amba {
/* bug: pcie node generates untyped objects too large for hypervisor mode */
/delete-node/ pcie@fd0e0000;
};
};