#address-cells = <2>;
#size-cells = <2>;
- chosen { };
-
+ chosen {
+ bootargs = "dom0_mem=128M dom0_max_vcpus=1 console=com1,vga";
+ xen,dom0-bootargs = "earlyprintk=xenboot console=ttyAMA1 root=/dev/mmcblk0 debug rw init=/bin/bash";
+ };
aliases {
serial0 = &v2m_serial0;
serial1 = &v2m_serial1;
compatible = "arm,cortex-a15";
reg = <0>;
};
-
- cpu@1 {
- device_type = "cpu";
- compatible = "arm,cortex-a15";
- reg = <1>;
- };
};
memory@80000000 {
device_type = "memory";
- reg = <0 0x80000000 0 0x40000000>;
+ reg = <0 0x80000000 0 0x80000000>;
+ };
+
+ hypervisor {
+ compatible = "xen,xen-4.2", "xen,xen";
+ /* this field is going to be adjusted by the hypervisor */
+ reg = <0 0xb0000000 0 0x20000>;
+ /* this field is going to be adjusted by the hypervisor */
+ interrupts = <1 15 0xf08>;
};
hdlcd@2b000000 {
clock-names = "pxlclk";
};
- memory-controller@2b0a0000 {
- compatible = "arm,pl341", "arm,primecell";
- reg = <0 0x2b0a0000 0 0x1000>;
- clocks = <&oscclk7>;
- clock-names = "apb_pclk";
- };
-
wdt@2b060000 {
compatible = "arm,sp805", "arm,primecell";
status = "disabled";
interrupts = <1 9 0xf04>;
};
- memory-controller@7ffd0000 {
- compatible = "arm,pl354", "arm,primecell";
- reg = <0 0x7ffd0000 0 0x1000>;
- interrupts = <0 86 4>,
- <0 87 4>;
- clocks = <&oscclk7>;
- clock-names = "apb_pclk";
- };
-
- dma@7ffb0000 {
- compatible = "arm,pl330", "arm,primecell";
- reg = <0 0x7ffb0000 0 0x1000>;
- interrupts = <0 92 4>,
- <0 88 4>,
- <0 89 4>,
- <0 90 4>,
- <0 91 4>;
- clocks = <&oscclk7>;
- clock-names = "apb_pclk";
- };
timer {
compatible = "arm,armv7-timer";