From: lkcl <lkcl@web>
Date: Wed, 12 Feb 2020 15:59:54 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3447
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa7e65d1a76f907950514475bb0e83c2becfc94f;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index c865ebbdd..9313f1084 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -10,7 +10,8 @@ In advance, on the host system, edit /etc/fstab and add mount points:
 
 (edit: personally I prefer using mount --bind points.  however if doing
 that then after a reboot the chroot will lose the bind mountpoints
-and the commands need to be re-run)
+and the commands need to be re-run, without which the chroot is
+unusable)
 
     /dev    /home/chroot/coriolis/dev   none    bind    0   0
     /dev/pts /home/chroot/coriolis/dev/pts  none    bind    0   0