BranchCommit messageAuthorAge
masterACPI: Add ACPI support aarch64 bootwrapper.Naresh Bhat5 years
xen-arm64Fix build when USE_INITRD not setIan Campbell5 years
AgeCommit messageAuthor
2014-05-23ACPI: Add ACPI support aarch64 bootwrapper.HEADmasterNaresh Bhat
2014-01-23Fix build when USE_INITRD not setxen-arm64Ian Campbell
2014-01-23Do not build fdt.dtb by default, instead require fdt.dtb to be providedIan Campbell
2013-09-16Support for building in a Xen binaryIan Campbell
2013-04-18Allow CROSS_COMPILE override on the make command lineChristoffer Dall
2013-01-10Update READMEMatthew Leach
2013-01-09Tidy up the kernel boot argumentsCatalin Marinas
2013-01-09Enable the CLCD outputCatalin Marinas
2013-01-09Change the FDT_SRC file to rtsm_ve-aemv8a.dtsCatalin Marinas
2013-01-09Use the DTC Power(TM) instead of sed to inject the chosen nodePawel Moll