This thread have made me look more about Common Lisp.
And I just discovered Mezzano, an OS written in Common Lisp: https://github.com/froggey/Mezzano/releases/tag/demo5 Do you think it would be possible to use your lisp bindings to use Mezzano's device drivers... like AHCI, USB, etc?
