Re: [Xen-devel] ARM64 EFI runtime

2015-10-13 Thread Julien Grall
On 13/10/15 15:55, Stefano Stabellini wrote: > Hi Brijesh, > > passing EFI tables to dom0 is still under work by Shannon, see: > http://marc.info/?l=xen-devel&m=144321258920213. For now you could > simply reuse the existing linux uefi device tree nodes, see > Documentation/arm/uefi.txt and the exi

Re: [Xen-devel] ARM64 EFI runtime

2015-10-13 Thread Stefano Stabellini
Hi Brijesh, passing EFI tables to dom0 is still under work by Shannon, see: http://marc.info/?l=xen-devel&m=144321258920213. For now you could simply reuse the existing linux uefi device tree nodes, see Documentation/arm/uefi.txt and the existing acpi patch series for Xen, which also introduces pa

Re: [Xen-devel] ARM64 EFI runtime

2015-10-13 Thread Brijesh Singh
Thanks for update Stefano, If you have some sample code on private git then please point me at it. I should be able to help on both development and testing on Seattle platform. -Brijesh On 10/13/2015 04:57 AM, Stefano Stabellini wrote: > Hi Brijesh, > > EFI runtime services are not currently

Re: [Xen-devel] ARM64 EFI runtime

2015-10-13 Thread Stefano Stabellini
Hi Brijesh, EFI runtime services are not currently exported to Dom0. They are still a work in progress. Regards, Stefano On Mon, 12 Oct 2015, Brijesh Singh wrote: > Hi All, > > I noticed that DOM0 kernel fails to get time via RTC device on AMD ARM64 > (Seattle) platform. On this platform Linu

[Xen-devel] ARM64 EFI runtime

2015-10-12 Thread Brijesh Singh
Hi All, I noticed that DOM0 kernel fails to get time via RTC device on AMD ARM64 (Seattle) platform. On this platform Linux uses rtc-efi driver to get the time through EFI runtime services, and I know for sure that driver works well outside the Xen environment. It seems that devicetree passed t