Reorganize configuration root

While I might still bikeshed how the rest of the configuration is
sourced, at least the import points should be stable.

pindakaas/hardware.nix

@@ -0,0 +1,27 @@
+{ pkgs, config, ... }:
+{
+  imports = [
+    # First commit before 23.05 release date:
+    "${builtins.fetchTarball "https://github.com/NixOS/nixos-hardware/archive/468a7a108108908c7a35d6549f1e1f0236a9448a.tar.gz"}/pine64/pinebook-pro"
+  ];
+
+  boot = {
+    # nixos-hardware use latest kernel by default. It has been set a while ago, we maybe don't need it anymore?
+    kernelPackages = pkgs.linuxPackages;
+
+    # Pinebook supports UEFI, at least when tow-boot is installed on the SPI
+    loader = {
+      # EFI Variables don't work (no generation appears in systemd-boot)
+      efi.canTouchEfiVariables = false;
+
+      # systemd-boot crashes after booting, so GRUB it is
+      grub = {
+        enable = true;
+        efiSupport = true;
+        efiInstallAsRemovable = true;
+        device = "nodev";
+      };
+    };
+  };
+
+}

pindakaas/options.nix

@@ -0,0 +1,6 @@
+{ ... }:
+{
+  frogeye.extra = false; # FIXME Not working yet
+  frogeye.desktop.xorg = true;
+  frogeye.dev.docker = true;
+}

pindakaas/os.nix

@@ -0,0 +1,11 @@
+{ ... }:
+{
+  imports = [
+    ../os
+    ./hardware.nix
+    ./disko.nix
+    ./options.nix
+  ];
+
+  networking.hostName = "pindakaas";
+}