diff --git a/distro/etc_nixos/modules/core.nix b/distro/etc_nixos/modules/core.nix
index ee42f7599..80766413b 100644
--- a/distro/etc_nixos/modules/core.nix
+++ b/distro/etc_nixos/modules/core.nix
@@ -108,4 +108,7 @@ in {
     # <https://github.com/asterinas/asterinas/issues/2672>.
     build-users-group = "";
   };
+
+  # FIXME: Currently, during `nixos-rebuild`, `texinfo/install-info` encounters a `SIGBUS`.
+  documentation.info.enable = false;
 }