[RFC] Add support for Xen ARM guest on FreeBSD

[Ian Campbell]

On Wed, 2014-01-15 at 16:24 +0000, Julien Grall wrote:
> As I understand main bindings (gic, timer) are set in stone and won't
> change. Ian Campbell has a repository with all the ARM bindings here:
> http://xenbits.xen.org/gitweb/?p=people/ianc/device-tree-rebasing.git;a=tree;f=Bindings/arm 

FYI this tree is automatically extracted from the bindings in the Linux
source, because long term we would like to split them out from Linux and
try and standardize some (if not all) of them. This is exactly because
these bindings should not be OS specific...

Ian.