Pretty cool, sound similar to what Barrelfish OS enabled (https://barrelfish.org/).
Tim Roscoe gave an interesting Keynote at OSDI '21 titled "It's Time for Operating Systems to Rediscover Hardware" - https://www.youtube.com/watch?v=36myc8wQhLo. He was involved with the Barrelfish project.
That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/
Huh I did not know that. I’m usually on careful about not using well-known nicknames unless the person goes by them.
Tim Roscoe gave an interesting Keynote at OSDI '21 titled "It's Time for Operating Systems to Rediscover Hardware" - https://www.youtube.com/watch?v=36myc8wQhLo. He was involved with the Barrelfish project.
That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/
Huh I did not know that. I’m usually on careful about not using well-known nicknames unless the person goes by them.