Very good podcast (with transcript!) about kernels / lib kernels / unikernels:

https://signalsandthreads.com/what-is-an-operating-system/