boot25.lisp 2.76 KB