Move kernel to cookbook recipe

config/acid.toml

@@ -11,6 +11,7 @@ acid = {}
 coreutils = {}
 ion = {}
 ipcd = {}
+kernel = {}
 ptyd = {}
 
 # User settings

config/desktop.toml

@@ -21,6 +21,7 @@ gnu-make = {}
 installer = {}
 ion = {}
 ipcd = {}
+kernel = {}
 netdb = {}
 netstack = {}
 netsurf = {}

config/jeremy.toml

@@ -54,6 +54,7 @@ ion = {}
 ipcd = {}
 jansson = {}
 jeremy = {}
+kernel = {}
 keyboard-sfx = {}
 lci = {}
 libc-bench = {}

config/maximal.toml

@@ -70,6 +70,7 @@ ion = {}
 ipcd = {}
 jansson = {}
 keyboard-sfx = {}
+kernel = {}
 lci = {}
 libc-bench = {}
 libffi = {}

config/minimal.toml

@@ -7,9 +7,10 @@ prompt = false
 
 # Package settings
 [packages]
-ipcd = {}
-ptyd = {}
 drivers = {}
+ipcd = {}
+kernel = {}
+ptyd = {}
 
 # User settings
 [users.root]

config/resist.toml

@@ -17,6 +17,7 @@ gcc = {}
 gnu-binutils = {}
 gnu-make = {}
 ipcd = {}
+kernel = {}
 netdb = {}
 netstack = {}
 netutils = {}

config/rustc.toml

@@ -21,6 +21,7 @@ gnu-make = {}
 installer = {}
 ion = {}
 ipcd = {}
+kernel = {}
 netdb = {}
 netstack = {}
 netutils = {}

config/server.toml

@@ -19,6 +19,7 @@ gnu-make = {}
 installer = {}
 ion = {}
 ipcd = {}
+kernel = {}
 netdb = {}
 netstack = {}
 netutils = {}