Gentoo seems like a nice in between to standard distros and unikernels.
You can build your own kernel on any distribution fwiw
You can build your own kernel on any distribution fwiw