aboutsummaryrefslogtreecommitdiff
path: root/os-boot
AgeCommit message (Expand)AuthorFilesLines
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