Comment by darksaints

I hold out hope for (human) work to coalesce on creating a stable/secure microkernel (SeL4 anybody???) and getting it mature enough to build an OS on.

Once that is done, then you build out the absolutely massive collection of userspace drivers that would be needed to replace linux by leveraging LLMs and other automated techniques. The good part is that by keeping the drivers in userspace, the security risk of generative techniques for driver development is pretty low.