From 7459f38006072df3f31483ebe4ea2a08f0597049 Mon Sep 17 00:00:00 2001 From: Prashanth Mundkur Date: Thu, 7 Mar 2019 11:00:52 -0800 Subject: More doc tweaks. --- os-boot/README.md | 3 +++ os-boot/linux-rv64-64mb.bbl | Bin os-boot/sel4-rv64.bbl | Bin 3 files changed, 3 insertions(+) mode change 100755 => 100644 os-boot/linux-rv64-64mb.bbl mode change 100755 => 100644 os-boot/sel4-rv64.bbl (limited to 'os-boot') 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 old mode 100755 new mode 100644 diff --git a/os-boot/sel4-rv64.bbl b/os-boot/sel4-rv64.bbl old mode 100755 new mode 100644 -- cgit v1.1