Hi, Now that we've been developing Spectrum ARM (aarch64) support with iMX8 boards, I'd like to get back to Spectrum HW configuration design. On x86 the generic image with kernel supporting most devices as modules can make sense. On ARM, the vendor specific BSP HW quirks are more common. As of now, the spectrum fork for aarch64 just adds another config after rpi configs and replaces the default config to use that to build. With small changes this could be handled like rpi configs. In addition, cloud-hypervisor accepts kernel only in EFI format for aarch64[1]. Anyway, this would allow us to build an aarch64 Spectrum installer - even make it with a more generic kernel. That takes us to ARM vendor/device specific HW quirks which would need to be handled anyway. I'll intentionally leave device specific kernel hardening and disabling kernel module loading for security reasons for now. As of now the vendor/device specifics are not supported unless one builds device specific Spectrum image with all configs build-time and skips installer altogether. The other option that I see. We discussed earlier nix-hardware and device specific modules. That would bring nixos configuration.nix and installation supporting scripts to Spectrum, though. Those could be called from the Spectrum installer but it would change the installer logic from writing an image to dynamically configuring the device during install based on user selections. Any thoughts which would be the preferred way? Maybe some other way? In the end, HW specifics are needed also on x86 as we saw with NUCs and different Lenovo laptops in the spring. I'm not convinced one image to rule them all is realistic or secure. Finally, this is by no means blocking the hardened iMX8 based Spectrum development but will keep that work in Spectrum fork until there's an agreed path to implement this. Integrating this sooner and making it more generic would make Spectrum more useful for a wider audience. Best regards, -Ville [1] https://github.com/tiiuae/spectrum/pull/3#issuecomment-1211834302