News for hackers. Stuff that matters.
Re:Not-OS – NixOS-based OS generator that outputs an OS with... by jbverschoor on Monday February 06, 2023 @03:01PM (#34683423)
Very tempting to start using a combination of nix and qubes
Re:Not-OS – NixOS-based OS generator that outputs an OS with... by flurie on Monday February 06, 2023 @04:18PM (#34684501)
You may be interested in Spectrum OS[1], which is more or less what you're looking for.

[1] https://spectrum-os.org/

Re:Not-OS – NixOS-based OS generator that outputs an OS with... by LanternLight83 on Tuesday February 07, 2023 @12:49AM (#34689221)
Glad to see it doesn't stick with Xen, that's really interesting! (if not seL4-interesting)
Re:Not-OS – NixOS-based OS generator that outputs an OS with... by LanternLight83 on Tuesday February 07, 2023 @12:44AM (#34689187)
I've had the same though with Guix, and have considered attempting to repackage / port the Qubes components, but it's one of those far fetched ideas that I know I can't make time for (or even maintain if it was just magically done).