diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 11:00:52 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 11:00:52 -0800 |
commit | 7459f38006072df3f31483ebe4ea2a08f0597049 (patch) | |
tree | 66991c7012914c1f030e122642d340d0e4d8ba21 /os-boot | |
parent | 8bb8f1cc56ad766f888eaf73b827694e8cff3603 (diff) | |
download | sail-riscv-7459f38006072df3f31483ebe4ea2a08f0597049.zip sail-riscv-7459f38006072df3f31483ebe4ea2a08f0597049.tar.gz sail-riscv-7459f38006072df3f31483ebe4ea2a08f0597049.tar.bz2 |
More doc tweaks.
Diffstat (limited to 'os-boot')
-rw-r--r-- | os-boot/README.md | 3 | ||||
-rw-r--r--[-rwxr-xr-x] | os-boot/linux-rv64-64mb.bbl | bin | 9711152 -> 9711152 bytes | |||
-rw-r--r--[-rwxr-xr-x] | os-boot/sel4-rv64.bbl | bin | 9692592 -> 9692592 bytes |
3 files changed, 3 insertions, 0 deletions
diff --git a/os-boot/README.md b/os-boot/README.md index a11b39f..84df54e 100644 --- a/os-boot/README.md +++ b/os-boot/README.md @@ -1,3 +1,6 @@ +Booting OS images +================= + Booting Linux with the C backend -------------------------------- diff --git a/os-boot/linux-rv64-64mb.bbl b/os-boot/linux-rv64-64mb.bbl Binary files differindex fe01cda..fe01cda 100755..100644 --- a/os-boot/linux-rv64-64mb.bbl +++ b/os-boot/linux-rv64-64mb.bbl diff --git a/os-boot/sel4-rv64.bbl b/os-boot/sel4-rv64.bbl Binary files differindex 04735f1..04735f1 100755..100644 --- a/os-boot/sel4-rv64.bbl +++ b/os-boot/sel4-rv64.bbl |