Qual kernel del sistema operativo viene utilizzato quando si avvia un contenitore?