kernel list for user