Comment by andutu

Pretty cool, sound similar to what Barrelfish OS enabled (https://barrelfish.org/).