BranchCommit messageAuthorAge add support for prebuilt kernelVishal Bhoj9 years Move initrd address up to allow for large kernelsPeter Maydell9 years
AgeCommit messageAuthor Move initrd address up to allow for large kernelsHEADmasterPeter Maydell
2012-02-27Boot kernel in hyp mode.Rusty Russell
2012-02-21Fix linux-system-semi.axf build failure from cleanPeter Maydell
2012-02-05boot-wrapper: Support reading kernel/initrd via semihostingPeter Maydell Explicitly pass -marm when we want to build ARM modePeter Maydell
2011-12-09boot.S: Factor out kernel cmd-line from boot-loaderChristoffer Dall
2011-12-09Makefile: Introduced super-simple config fileChristoffer Dall
2011-12-08Makefile: Pass unknown targets through to the kernel makePeter Maydell
2011-12-08Makefile, boot.S: Allow kernel command line to be set in makefilePeter Maydell
2011-12-08Makefile: Don't require filesystem.cpio.gz if building non-initrdPeter Maydell