I have been attempting to add support for both USB and SD persistent memory to
my vm (See "Re: ramdisk vs. persistant rfs in VMs.” thread.). I seem to be
having a problem with power management. In hopes of correcting this I wish to
expose the power management unit to the VM. The related stanza looks like this
in my device tree file.
cci@fd6e0000 {
compatible = "arm,cci-400";
reg = <0x0 0xfd6e0000 0x0 0x9000>;
ranges = <0x0 0x0 0xfd6e0000 0x10000>;
#address-cells = <0x1>;
#size-cells = <0x1>;
pmu@9000 {
compatible = "arm,cci-400-pmu,r1";
reg = <0x9000 0x5000>;
interrupt-parent = <0x4>;
interrupts = <0x0 0x7b 0x4 0x0 0x7b 0x4 0x0
0x7b 0x4 0x0 0x7b 0x4 0x0 0x7b 0x4>;
};
};
The PMU appears to be a child of cci. I am unsure of the proper syntax to use
in my devices.camkes file. Since it is a child does one specify the path as
/cci/pmu? Does the parent also have to be exposed to the vm?
Here is what the related lines inmy devices.camkes look like. Is this correct?
vm0.dtb = dtb([
{"path": "/cci@fd6e0000"},
{"path": "/cci/pmu@9000"},
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
