(no commit message)

diff --git a/HDL_workflow/devscripts.mdwn b/HDL_workflow/devscripts.mdwn
index c061265447d0f8fa0ebf139449e148b0a9c83a62..b91882e946f79f4a24535f31cc7431b2ae870395 100644 (file)
--- a/HDL_workflow/devscripts.mdwn
+++ b/HDL_workflow/devscripts.mdwn
@@ -12,6 +12,10 @@ the dev-env-setup repository is cloned twice, once to get the chroot
 script and a second time to use scripts *inside* the chroot. Feel free
 to simply copy the repository into the chroot to save bandwidth.
 
+**no you do not need to blow away your system and install debian 10 native**
+you can e.g. use debian/11 at the "host" level and some people have managed
+to use archlinux but you are **on your own if you do so**.
+
 Note: these scripts assume that you are using debian/10 and that you
 understand and accept why we have standardised on that as an OS
 (reproduceability and minimising "support").  If you use anything
@@ -135,3 +139,4 @@ as *root*, you run this:
 and you will see this as a result:
 
     (libresoc)lkcl@fizzy:~#
+