For typical end users, kernel on its own is useless. So this an example of OS which uses Ironclad kernel:

https://codeberg.org/Ironclad/Gloire