aboutsummaryrefslogtreecommitdiff
path: root/os-boot
AgeCommit message (Expand)AuthorFilesLines
2019-07-03os-boot: Update Hafnium imageHesham Almatary1-0/+0
2019-06-27Update the os-boot patch.Prashanth Mundkur1-32/+39
2019-06-27os-boot: Add a Hafnium image with initrd and Linux VMsHesham Almatary1-0/+0
2019-06-27os-boot: Add a Spike-derivative DTS with chosen node for HafniumHesham Almatary1-0/+53
2019-06-06Doc updatesPrashanth Mundkur2-36/+52
2019-06-05Add RV64 Linux image that does not need a patched model.Prashanth Mundkur1-0/+0
2019-03-29Add a note about 32-bit OS boots.Prashanth Mundkur1-0/+3
2019-03-07Fix docs about sel4 boot.Prashanth Mundkur2-4/+53
2019-03-07More doc tweaks.Prashanth Mundkur1-20/+13
2019-03-07More doc tweaks.Prashanth Mundkur3-0/+3
2019-03-07More doc edits.Prashanth Mundkur1-1/+1
2019-03-07Minor doc edits.Prashanth Mundkur1-2/+2
2019-03-07Add sample OS images and update docs.Prashanth Mundkur6-0/+177