Add simple installer

[remimimimimi]

Adds simple CLI based installer that runs at system startup (installer image) and flushes image with which we configured it to the target device. Also allows anyone to build an installer for their configuration if it builds raw-efi image.

[vilvo]

Please also squash all the commits into one when you fix the fmt-check

[vilvo]

In general - looks good to me as the first iteration of installer. Building this now for testing.

[vilvo]

Installer does not work for generic target.

[vilvo]

Please fix installer for generic.

[vilvo]

Verified to work on X1 with .#nixosConfigurations.generic-x86_64-debug.config.system.build.installer.

The basic structure looks good baseline for further work.
@mikatammi @brianmcgillion - please consired reviewing / merging this soon so further work can be based on it.

[vilvo]

[jenninikko]

A couple of comments:
-- Make a separate subsection 5.1.2.
-- Change the main title + change Built-in Installer Modules
-- Make a list of actions instead of plain text.
-- Add reference to https://tiiuae.github.io/ghaf/ref_impl/modules_options.html
-- nix -> Nix

[jenninikko]

@remimimimimi, do not forget to change ghaf -> Ghaf ( ` ω ´ )

[vilvo]

After retesting this together with @remimimimimi - this is not working correctly. The image written to the internal memory is not booting correctly to the desktop.

The problem is that we only get very few early boot logs to the display - then just black display. No IP via DHCP like with the target image booted from SSD.

All I can think now for debug is to print the partitions of nvme0n1 after sync and sleep 20s - here https://github.com/tiiuae/ghaf/pull/249/files#diff-789892fdf4e4c650d81ce42dbc84586807ced5e73a8d53c06775acf7df2d0876R172
Then add a message like: echo "Rebooting automatically in 20 seconds.

If that does not help, we need to check if we can get early kernel logs either to display or to USB debugging - https://docs.kernel.org/driver-api/usb/usb3-debug-port.html

[vilvo]

@remimimimimi - this fixes the issue on X1

diff --git a/targets/lenovo-x1-carbon.nix b/targets/lenovo-x1-carbon.nix
index 6bf7bcf..6f00e8f 100644
--- a/targets/lenovo-x1-carbon.nix
+++ b/targets/lenovo-x1-carbon.nix
@@ -194,6 +194,7 @@
               # Passthrough Intel Iris GPU 8086:a7a1
               "vfio-pci.ids=8086:51f1,8086:a7a1"
             ];
+            boot.initrd.availableKernelModules = [ "nvme" ];
           }
         ]
         ++ (import ../modules/module-list.nix)

kudos @mikatammi for thinking out loud about possibly missing nvme kernel module - I remember I had to add nvme to initrd way back on my Lenovo P43s so it was easy fix to test.

[vilvo]

Ghaf on X1 Carbon gen3 - booted from nvme with no SSD attached.

[jenninikko]

Nice job! Let's play a little bit more with letters :D

[mikatammi]

I tested the installer and there are some rough edges, for example I was staring away from laptop while it was installing, then it rebooted, and I wasn't fast enough to disconnect the USB-drive. So the system somehow strangely booted up into ghaf desktop but still something was mounted from USB-drive.

But I'm fine with merging this now and improving things later.

[mikatammi]

Note for the future: Also the resulting image was 26 gigabytes, so adding (zstd) compression even to the image embedded, would save many gigabytes