diff --git a/.guix-packages/ambrevar/system/laptop-mimimi.scm b/.guix-packages/ambrevar/system/laptop-mimimi.scm
index d69d8a31..00b6c9da 100644
--- a/.guix-packages/ambrevar/system/laptop-mimimi.scm
+++ b/.guix-packages/ambrevar/system/laptop-mimimi.scm
@@ -1,6 +1,50 @@
 ;; With Eshell:
 ;; *sudo -E guix system reconfigure ~/.guix-packages/ambrevar/system/laptop-mimimi.scm
 (define-module (ambrevar system laptop-mimimi)
-  #:use-module (ambrevar system default))
+  #:use-module (ambrevar system default)
+  #:use-module (nonfree packages linux)
+  #:use-module ((guix licenses) #:prefix license:)
+  #:use-module (ambrevar system default)
+  #:use-module (gnu bootloader grub)
+  #:use-module (gnu bootloader)
+  #:use-module (gnu packages linux)
+  #:use-module (gnu system file-systems)
+  #:use-module (gnu system)
+  #:use-module (guix build-system trivial)
+  #:use-module (guix download)
+  #:use-module (guix gexp)
+  #:use-module (guix git-download)
+  #:use-module (guix packages)
+  #:use-module (guix utils)
+  #:use-module (srfi srfi-1))
 
-default-operating-system
+(define linux-xiaomi-air-13
+  (package
+    (inherit linux-libre)
+    (name "linux-xiaomi-air-13")
+    (version "5.0.7")
+    ;; To follow linux-libre version, we can use the following, but this will
+    ;; break if we don't immediately update the checksum.  (version
+    ;; (package-version linux-libre))
+    (source
+     (origin
+      (method url-fetch)
+      (uri
+       (string-append
+        "https://www.kernel.org/pub/linux/kernel/v"
+        (version-major version)
+        ".x/linux-" version ".tar.xz"))
+      (sha256
+       (base32
+        "1v2lxwamnfm879a9qi9fwp5zyvlzjw9qa0aizidjbiwz5dk7gq8n"))))
+    (home-page "https://www.kernel.org/")
+    (synopsis "Vanilla Linux kernel")
+    (description "Vanilla Linux kernel which allows for non-free kernel modules / firmware.")
+    ;; To build a custom kernel, pass it an alternate "kconfig":
+    (native-inputs
+     `(("kconfig" ,(local-file "../linux-laptop.conf"))
+       ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
+
+(operating-system
+  (inherit default-operating-system)
+  (kernel linux-xiaomi-air-13))