diff options
author | Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk> | 2019-07-03 11:37:12 +0100 |
---|---|---|
committer | Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk> | 2019-07-03 11:40:44 +0100 |
commit | a65cf590fc210b8ca4e10d8da0af638e1df9096d (patch) | |
tree | ea8eb40c02a92a2cd0734188251798682d697c3a /opam | |
parent | 0fbfc08351dfdc2f57c57f78632ce9bef64d109a (diff) | |
download | sail-riscv-a65cf590fc210b8ca4e10d8da0af638e1df9096d.zip sail-riscv-a65cf590fc210b8ca4e10d8da0af638e1df9096d.tar.gz sail-riscv-a65cf590fc210b8ca4e10d8da0af638e1df9096d.tar.bz2 |
os-boot: Update Hafnium image
* 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.
Diffstat (limited to 'opam')
0 files changed, 0 insertions, 0 deletions