barrelfish
The core conceit was making an OS which self deploys onto new machinesz measuring the hardware etc. and figuring out how to optimize itself - expecting a future with many machine types, where it’d be too costly to actually port OSs to them.