There is a combobox list of kernels in Global Configuration.
Will QubesOS be updated to list a new safe kernel to choose?
Would be easy for novice user such as me.
Thanks in advance.
Depends on what you mean. Global configuration sets kernel for all qubes configured to use default kernel provided by dom0. It is updated when dom0 receives a new kernel, at least if you haven’t configured it manually.
Okay, thank!