(defun os-cold-init-or-reinit () ; KLUDGE: don't know what to do here
(/show0 "entering linux-os.lisp OS-COLD-INIT-OR-REINIT")
(setf *software-version* nil)
(defun os-cold-init-or-reinit () ; KLUDGE: don't know what to do here
(/show0 "entering linux-os.lisp OS-COLD-INIT-OR-REINIT")
(setf *software-version* nil)