From ebddeb04e217fa3d9280114c379fb445c0b766ed Mon Sep 17 00:00:00 2001 From: Kyle Evans Date: Tue, 20 Feb 2018 21:13:21 +0000 Subject: [PATCH] lualoader: Prefer selected kernel to currently loaded --- stand/lua/config.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stand/lua/config.lua b/stand/lua/config.lua index c92e01ccbaf..c1be200e6af 100644 --- a/stand/lua/config.lua +++ b/stand/lua/config.lua @@ -430,7 +430,7 @@ function config.reload(file) end function config.loadelf() - local kernel = config.kernel_loaded or config.kernel_selected; + local kernel = config.kernel_selected or config.kernel_loaded; local loaded = false; print("Loading kernel...");