> On Fri, 2015-02-20 at 09:56 +, Frediano Ziglio wrote:
> > This set of patches add Xen support for hip04-d01 platform (see
> > https://wiki.linaro.org/Boards/D01 for details).
>
> When (or where) would the general public be able to purchase one of
> these systems?
>
> Ian.
These exact board
On Fri, 2015-02-20 at 09:56 +, Frediano Ziglio wrote:
> This set of patches add Xen support for hip04-d01 platform (see
> https://wiki.linaro.org/Boards/D01 for details).
When (or where) would the general public be able to purchase one of
these systems?
Ian.
This set of patches add Xen support for hip04-d01 platform (see
https://wiki.linaro.org/Boards/D01 for details).
Changes from v4:
- rebased to new version;
- removed patch for computing GIC addresses as it apply to all platforms;
- removed patches to platform (cpu and system operations) as now th
