From: lkcl <lkcl@web>
Date: Tue, 11 Feb 2020 16:15:04 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3461
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64ec27dc3715b6662f7bc7bf8bbe2a551dde9031;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index b5fe52c2b..1f1d21af8 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -21,7 +21,11 @@ Then run these commands:
     apt-get install debootstrap schroot
     mkdir /opt/chroot/coriolis
     /usr/sbin/debootstrap stretch !$ http://ftp.us.debian.org/debian
-    mount -a
+    mount /home/chroot/coriolis/dev
+    mount /home/chroot/coriolis/dev/pts
+    mount   /home/chroot/coriolis/proc
+    mount   /home/chroot/coriolis/sys
+    mount   /home/chroot/coriolis/tmp
     echo "coriolis2" > /home/chroot/coriolis/etc/debian_chroot
 
 To do some preparation (users):