From c6c9f7c9377d7ec111d4fac4869432454a1f1995 Mon Sep 17 00:00:00 2001 From: Prashanth Mundkur Date: Thu, 7 Mar 2019 10:36:16 -0800 Subject: Minor doc edits. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index d3902b7..e6c39a1 100644 --- a/README.md +++ b/README.md @@ -110,4 +110,5 @@ Some useful options are: configuring whether misaligned accesses trap whether page-table walks update PTE bits (--enable-dirty-update for C and -enable-dirty-update for OCaml). -For booting operating system images, see the information under `os-boot`. +For booting operating system images, see the information under the +[os-boot/](os-boot/) subdirectory. -- cgit v1.1