Merge pull request #972 from achingupta/ag/freebsd-dt-change
authordavidcunado-arm <david.cunado@arm.com>
Fri, 9 Jun 2017 12:49:39 +0000 (13:49 +0100)
committerGitHub <noreply@github.com>
Fri, 9 Jun 2017 12:49:39 +0000 (13:49 +0100)
Device tree changes to boot FreeBSD on FVPs


Trivial merge