Re: [Xen-devel] [PATCH v1 1/1] XEN/ARM: Add Odroid-XU3/XU4 support

2016-02-08 Thread Suriyan Ramasami
On Mon, Feb 8, 2016 at 7:27 AM, Ian Campbell wrote: > On Sun, 2016-02-07 at 09:44 -0800, Suriyan Ramasami wrote: > > The Odroid-XU3/XU4 from hardkernel is an Exynos 5422 based board. > > Code from mcpm-exynos.c and mcpm-platsmp.c from the Linux kernel > > has been used to get all the 8 cores from

Re: [Xen-devel] [PATCH v1 1/1] XEN/ARM: Add Odroid-XU3/XU4 support

2016-02-08 Thread Ian Campbell
On Sun, 2016-02-07 at 09:44 -0800, Suriyan Ramasami wrote: > The Odroid-XU3/XU4 from hardkernel is an Exynos 5422 based board. > Code from mcpm-exynos.c and mcpm-platsmp.c from the Linux kernel > has been used to get all the 8 cores from the 2 clusters powered > on. > The Linux DTS for these odroid

[Xen-devel] [PATCH v1 1/1] XEN/ARM: Add Odroid-XU3/XU4 support

2016-02-07 Thread Suriyan Ramasami
The Odroid-XU3/XU4 from hardkernel is an Exynos 5422 based board. Code from mcpm-exynos.c and mcpm-platsmp.c from the Linux kernel has been used to get all the 8 cores from the 2 clusters powered on. The Linux DTS for these odroid uses "samsung,exynos5800" as the machine compatible string. Hence, t