> On Nov 6, 2015, at 9:24 PM, Anton Vodonosov <avodonosov at yandex.ru> wrote: > > I needed to rebuild kernel in order to run it on my machine, > because the release binary requires LIBC version newer than I have. > Don't know if that's important for you. Thanks for the note. I built the lisp kernel binary on Ubuntu 12.04.