関連ワード:  types of kernel in linux    types of kernel in linux operating system    types of kernel modules in linux    type of kernel used in linux    how many types of kernel in linux    define kernel in linux    define kernel in linux operating system    what are the different linux kernels    what is kernel in linux    types of kernel in unix