From da0bb14a96e2266c45c7f00b4b05643e5b6684e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Thu, 23 Oct 2025 15:51:32 +0800
Subject: [PATCH 1/2] vanadium: use custom kernel build

again.
---
 nix/configurations/vanadium.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nix/configurations/vanadium.nix b/nix/configurations/vanadium.nix
index 208e712e..5be9bac1 100644
--- a/nix/configurations/vanadium.nix
+++ b/nix/configurations/vanadium.nix
@@ -61,6 +61,7 @@ in
               ../packages/overlay.nix
 
               ./vanadium/overlay.nix
+              ./vanadium/kernel-overlay.nix
 
               # removed, but I need it for PLFA!
               ../overlays/pin-emacs28.nix

From 38a79e2fd8d8258c2a8472442a64423b164789a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Thu, 23 Oct 2025 15:57:28 +0800
Subject: [PATCH 2/2] vanadium/kernel-overlay: fixes for 6.12.54

---
 nix/configurations/vanadium/kernel-overlay.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nix/configurations/vanadium/kernel-overlay.nix b/nix/configurations/vanadium/kernel-overlay.nix
index 1af875e2..c6615c22 100644
--- a/nix/configurations/vanadium/kernel-overlay.nix
+++ b/nix/configurations/vanadium/kernel-overlay.nix
@@ -69,6 +69,7 @@ in {
 
         # Disable hypervisor guest
         HYPERVISOR_GUEST = lib.mkForce no;
+        HYPERV = lib.mkForce unset;
         DRM_HYPERV = lib.mkForce unset;
         FB_HYPERV = lib.mkForce unset;
         HVC_XEN = lib.mkForce unset;