関連ワード:  what kernel does linux use    what kernel does linux mint use    what type of kernel does linux use    what linux kernel does android use    what linux kernel does ubuntu 24.04 use    does windows use linux kernel    what exactly is linux kernel    what is linux kernel and how it works