This reminds me of https://barrelfish.org/