aboutsummaryrefslogtreecommitdiff
path: root/os-boot
AgeCommit message (Collapse)AuthorFilesLines
2019-07-03os-boot: Update Hafnium imageHesham Almatary1-0/+0
* Reduce the size of the image by removing unused secondary VMs. * Recompile Linux with -march=rv64imac -mabi=lp64 (softfloat). * Remove NFS filesystem in Linux as it's not needed.
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
This image includes: - BBL - Hafnium Hypervisor - initrd - Linux as a Primary VM - Linux as a secondary VM - Busybox - Hafnium.ko device driver It runs on Spike, and requires PMP, CLINT and HTIF
2019-06-27os-boot: Add a Spike-derivative DTS with chosen node for HafniumHesham Almatary1-0/+53
2019-06-06Doc updatesPrashanth Mundkur2-36/+52
. add a dependency diagram to the reading guide . simplify the OS boot instructions using the new Linux image . put funding ack in top-level readme
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