diff --git a/nixos-configs/hosts/demiurge/configuration.nix b/nixos-configs/hosts/demiurge/configuration.nix
index 802fafc..28480f5 100644
--- a/nixos-configs/hosts/demiurge/configuration.nix
+++ b/nixos-configs/hosts/demiurge/configuration.nix
@@ -9,11 +9,26 @@
     ./hardware-configuration.nix
   ];
 
+  users.users.alice = {
+    isNormalUser = true;
+    shell = pkgs.bash;
+    extraGroups = [ "wheel" ]; # Enable ‘sudo’ for the user.
+    # My SSH keys.
+    openssh.authorizedKeys.keys = [
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPAZhFDzl1lbhWJ7MiTV3+Z1EY8M5b4cH/+ju4uo1d91 admin"
+    ];
+    packages = with pkgs; [ emacs vim ];
+  };
+
+  # Use my SSH keys for logging in as root.
+  users.users.root.openssh.authorizedKeys.keys =
+    config.users.users.alice.openssh.authorizedKeys.keys;  
+
   # Use the systemd-boot EFI boot loader.
   boot.loader.systemd-boot.enable = true;
   boot.loader.efi.canTouchEfiVariables = true;
 
-  networking.hostName = "exgod"; # Define your hostname.
+  networking.hostName = "demiurge"; # Define your hostname.
   # Pick only one of the below networking options.
   # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.
   networking.networkmanager.enable =
diff --git a/nixos-configs/hosts/demiurge/hardware-configuration.nix b/nixos-configs/hosts/demiurge/hardware-configuration.nix
index ee48c86..4c2c46a 100644
--- a/nixos-configs/hosts/demiurge/hardware-configuration.nix
+++ b/nixos-configs/hosts/demiurge/hardware-configuration.nix
@@ -32,7 +32,7 @@
   networking.useDHCP = lib.mkDefault true;
   # networking.interfaces.enp0s31f6.useDHCP = lib.mkDefault true;
 
-  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+  # nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
   powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";
   hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
 }