+* TODO: install debian
+* TODO: run "ssh-keygen"
+* TODO: send ssh PUBLIC key to adminstrator (or to mailing list)
+* TODO: check that git access is ok (see HDL_workflow git access page)
+ - TODO: ssh git.libre-soc.org
+ - TODO: git clone gitolite3@git.libre-soc.org:libreriscv.git
+* TODO: run HDL_workflow devscripts