diff --git a/modules/dev/gh.nix b/modules/dev/gh.nix
index 4eb7140..b4db2a0 100644
--- a/modules/dev/gh.nix
+++ b/modules/dev/gh.nix
@@ -3,7 +3,11 @@
     homeManager.dev =
       { pkgs, ... }:
       {
-        home.packages = [ pkgs.github-copilot-cli ];
+        home.packages = [
+          (pkgs.github-copilot-cli.overrideAttrs (oldAttrs: {
+            postInstall = "";
+          }))
+        ];
 
         programs = {
           gh-dash = {
diff --git a/modules/hosts/yggdrasil/default.nix b/modules/hosts/yggdrasil/default.nix
index 6cde537..5f468da 100644
--- a/modules/hosts/yggdrasil/default.nix
+++ b/modules/hosts/yggdrasil/default.nix
@@ -34,6 +34,7 @@ topLevel: {
         osu-lazer-bin
 
         piper
+        ghc # for maths
       ];
 
       services.ratbagd.enable = true;
diff --git a/modules/hosts/yggdrasil/hardware.nix b/modules/hosts/yggdrasil/hardware.nix
index 8aab4b7..238a1fa 100644
--- a/modules/hosts/yggdrasil/hardware.nix
+++ b/modules/hosts/yggdrasil/hardware.nix
@@ -30,8 +30,10 @@
         kernelParams = [ "split_lock_detect=off" ];
 
         loader = {
-          systemd-boot.enable = true;
           efi.canTouchEfiVariables = true;
+          limine = {
+            enable = true;
+          };
         };
 
         initrd.availableKernelModules = [