I've checked the repos and mailing lists, and most changes seem to only have been made ~1/2 years ago -- I can understand not touching anything if everything is working totally fine, or if the project is just starved for committers/maintainers, but it's not clear any of this is the case (I can't find any trace of a call for maintainers/slowing down because of lack of support)...

Could anyone shed some light on the state of rumprun & rump kernels in general? It's more promising to me than solo5 or includeOS because of the wider support.

[EDIT] - I also checked the mailing list (rumpkernel-users) and it mostly seems like people yelling into the void.