search

xen-troops / zephyr-xenlib

Set of Zephyr libs and applications that provides basic Dom0 services
Apache License 2.0
0 stars 10 forks source link

xen-dom-mgmt: Create domain device tree for domain #4

Closed oleksiimoisieiev closed 1 year ago

oleksiimoisieiev commented 1 year ago

Use libfdt module to generate device tree. This is required to create domain device-tree for the domains. Library generates all basic nodes for the Guest Domain and supports GICv2/GiCv3 switch and optee as optionally. Partial device tree /passthrough and /aliases should be copied to the Domain device tree. If XEN_LIBFDT config parameter was disabled - provided pfdt will be passed to the Domain without changes.

Application should be configured with the following param: CONFIG_XEN_LIBFDT=y

Signed-off-by: Oleksii Moisieiev oleksii_moisieiev@epam.com

lorc commented 1 year ago

Why are you suggesting to take DTC from googlesource? As I said, it is hosted on https://git.kernel.org/pub/scm/utils/dtc/dtc.git/

oleksiimoisieiev commented 1 year ago

Updated comment and added Ack

lorc commented 1 year ago

Acked-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com>