boot3.lisp 1.25 KB