News for hackers. Stuff that matters.
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)