Fix the kernel names

ali1234 · Jul 30, 2019 · f1fbf89 · f1fbf89
1 parent 07f909a
commit f1fbf89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/__init__.py b/kernel/__init__.py
@@ -85,7 +85,7 @@ def menu_config(self):
 this_dir = pathlib.Path(__file__).parent
 
 
-kernels = [Kernel(k, this_dir, env) for k in ['kernel-test', 'kernel-with']]
+kernels = [Kernel(k, this_dir, env) for k in ['kernel', 'kernel7', 'kernel7l']]
 
 
 @command()