add kernelParams

hosts/yodaTab/configuration.nix

@@ -60,6 +60,8 @@ in
   services.openssh.ports = [ 22 ];
   boot.initrd.network.ssh.port = 22;
 
+  boot.kernelParams = [];
+
   # Allow unfree packages.
   nixpkgs.config.allowUnfree = true;
 

hosts/yodaTux/configuration.nix

@@ -60,6 +60,10 @@ in
   services.openssh.ports = [ 22 ];
   boot.initrd.network.ssh.port = 22;
 
+  # Systemd Journal entry:
+  # S Sat Sep 23 16:11:52 2023 p4 kernel: TSC found unstable after boot, most likely due to broken BIOS. Use 'tsc=unstable'.
+  boot.kernelParams = [ "tsc=unstable" ];
+
   # Allow unfree packages.
   nixpkgs.config.allowUnfree = false;
 

hosts/yodaYoga/configuration.nix

@@ -62,6 +62,8 @@ in
   services.openssh.ports = [ 2224 ];
   boot.initrd.network.ssh.port = 2225;
 
+  boot.kernelParams = [];
+
   # Allow unfree packages.
   nixpkgs.config.allowUnfree = false;