diff options
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 |